Skip to main content

KI - Künstliche Intelligenz

Ausgabe 2-3/2018

Answer Set Programming Unleashed

Inhalt (27 Artikel)

Editorial

Special Issue on Answer Set Programming

Torsten Schaub, Stefan Woltran

Technical Contribution

Answer set programming unleashed!

Torsten Schaub, Stefan Woltran

Technical Contribution

Answer Set Programming from a Logical Point of View

Pedro Cabalar, David Pearce, Agustín Valverde

Technical Contribution

Aggregates in Answer Set Programming

Mario Alviano, Wolfgang Faber

Technical Contribution

Answer Set Programming

Tomi Janhunen

Technical Contribution

Answer Set Planning in Single- and Multi-agent Environments

Tran Cao Son, Marcello Balduccini

Technical Contribution

Applications of ASP in Robotics

Esra Erdem, Volkan Patoglu

Technical Contribution

Answer Set Programming in Linguistics

Peter Schüller

Technical Contribution

ASP Applications in Bio-informatics: A Short Tour

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

Open Access Technical Contribution

Industrial Applications of Answer Set Programming

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

Systems Description

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

Systems Description

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

Systems Description

Developing ASP Programs with ASPIDE and LoIDE

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

Systems Description

The DLVHEX System

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

Systems Description

Dynamic Programming on Tree Decompositions with D-FLAT

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

Open Access Systems Description

Stream Reasoning with LARS

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

Project Report

Lazy Grounding for Dynamic Configuration

Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl

Project Report

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

Project Report

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

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

Project Report

Design Space Exploration with Answer Set Programming

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko

Interview

Interview with Vladimir Lifschitz

Vladimir Lifschitz, Torsten Schaub, Stefan Woltran

Interview

Interview with Gerhard Brewka

Gerhard Brewka, Torsten Schaub, Stefan Woltran

News

News

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr