Skip to main content
main-content
Top

Journal

KI - Künstliche Intelligenz

KI - Künstliche Intelligenz 2-3/2018

Issue 2-3/2018

Answer Set Programming Unleashed

Table of Contents ( 27 Articles )

01-08-2018 | Editorial | Issue 2-3/2018

AI in Germany: Well-Prepared and Eager to Do Something

Daniel Sonntag

01-08-2018 | Editorial | Issue 2-3/2018

Special Issue on Answer Set Programming

Torsten Schaub, Stefan Woltran

09-06-2018 | Technical Contribution | Issue 2-3/2018

Answer set programming unleashed!

Torsten Schaub, Stefan Woltran

13-06-2018 | Technical Contribution | Issue 2-3/2018

Answer Set Programming from a Logical Point of View

Pedro Cabalar, David Pearce, Agustín Valverde

08-06-2018 | Technical Contribution | Issue 2-3/2018

Aggregates in Answer Set Programming

Mario Alviano, Wolfgang Faber

09-06-2018 | Technical Contribution | Issue 2-3/2018

Answer Set Programming

Related with Other Solving Paradigms
Tomi Janhunen

14-06-2018 | Technical Contribution | Issue 2-3/2018

Answer Set Planning in Single- and Multi-agent Environments

Tran Cao Son, Marcello Balduccini

08-06-2018 | Technical Contribution | Issue 2-3/2018

Applications of ASP in Robotics

Esra Erdem, Volkan Patoglu

07-06-2018 | Technical Contribution | Issue 2-3/2018

Answer Set Programming in Linguistics

Peter Schüller

18-06-2018 | Technical Contribution | Issue 2-3/2018

ASP Applications in Bio-informatics: A Short Tour

Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli

13-06-2018 | Technical Contribution | Issue 2-3/2018 Open Access

Industrial Applications of Answer Set Programming

Andreas Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich C. Teppan

14-05-2018 | Systems Description | Issue 2-3/2018

The ASP System DLV: Advancements and Applications

Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

14-05-2018 | Systems Description | Issue 2-3/2018

The Potsdam Answer Set Solving Collection 5.0

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

14-05-2018 | Systems Description | Issue 2-3/2018

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Tomi Janhunen

16-05-2018 | Systems Description | Issue 2-3/2018

Developing ASP Programs with ASPIDE and LoIDE

Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca

15-05-2018 | Systems Description | Issue 2-3/2018

The DLVHEX System

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl

15-05-2018 | Systems Description | Issue 2-3/2018

Dynamic Programming on Tree Decompositions with D-FLAT

Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran

17-05-2018 | Systems Description | Issue 2-3/2018 Open Access

Stream Reasoning with LARS

Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie

12-05-2018 | Project Report | Issue 2-3/2018

Lazy Grounding for Dynamic Configuration

Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl

17-05-2018 | Project Report | Issue 2-3/2018

Advanced Solving Technology for Dynamic and Reactive Applications

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck

23-05-2018 | Project Report | Issue 2-3/2018

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré

11-05-2018 | Project Report | Issue 2-3/2018

Design Space Exploration with Answer Set Programming

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko

18-05-2018 | Project Report | Issue 2-3/2018

Answer Set Programming Applied to Coreference Resolution and Semantic Similarity

Peter Schüller

15-05-2018 | Project Report | Issue 2-3/2018

ArgueApply: Abstract Argumentation at Your Fingertips

Jörg Pührer

19-06-2018 | Interview | Issue 2-3/2018

Interview with Vladimir Lifschitz

Vladimir Lifschitz, Torsten Schaub, Stefan Woltran

11-06-2018 | Interview | Issue 2-3/2018

Interview with Gerhard Brewka

Gerhard Brewka, Torsten Schaub, Stefan Woltran

03-08-2018 | News | Issue 2-3/2018

News

Current Publications

Premium Partner

image credits