Ausgabe 2-3/2018
Answer Set Programming Unleashed
Inhalt (27 Artikel)
Answer Set Programming from a Logical Point of View
Pedro Cabalar, David Pearce, Agustín Valverde
Answer Set Planning in Single- and Multi-agent Environments
Tran Cao Son, Marcello Balduccini
ASP Applications in Bio-informatics: A Short Tour
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
Industrial Applications of Answer Set Programming
Andreas Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich C. Teppan
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
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
Cross-Translating Answer Set Programs Using the ASPTOOLS Collection
Tomi Janhunen
Developing ASP Programs with ASPIDE and LoIDE
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
The DLVHEX System
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
Dynamic Programming on Tree Decompositions with D-FLAT
Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran
Stream Reasoning with LARS
Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
Lazy Grounding for Dynamic Configuration
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
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
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Design Space Exploration with Answer Set Programming
Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko
Answer Set Programming Applied to Coreference Resolution and Semantic Similarity
Peter Schüller