Publications (36)
Temporal Answer Set Programming on Finite Traces
Pedro Cabalar, Roland Kaminski, Torsten Schaub +1
Logic Programs with Compiled Preferences
James P. Delgrande, Torsten Schaub, Hans Tompits
Heuristics in Conflict Resolution
Christian Drescher, Martin Gebser, Benjamin Kaufmann +1
Multi-shot ASP solving with clingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
Clingcon: The Next Generation
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski +1
Answer Set Programming for Stream Reasoning
Martin Gebser, Torsten Grote, Roland Kaminski +3
A semantic framework for preference handling in answer set programming
Torsten Schaub, Kewen Wang
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen, Roland Kaminski, Max Ostrowski +3
A general approach to belief change in answer set programming
James Delgrande, Torsten Schaub, Hans Tompits +1
Complex Optimization in Answer Set Programming
Martin Gebser, Roland Kaminski, Torsten Schaub
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Thomas Guyet, Yves Moinard, René Quiniou +1
Automatic Network Reconstruction using ASP
Max Ostrowski, Torsten Schaub, Markus Durzinsky +2
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
Torsten Schaub, Kewen Wang
Solver Scheduling via Answer Set Programming
Holger Hoos, Roland Kaminski, Marius Lindauer +1
A System for Interactive Query Answering with Answer Set Programming
Martin Gebser, Philipp Obermeier, Torsten Schaub
ASP modulo CSP: The clingcon system
Max Ostrowski, Torsten Schaub
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Martin Gebser, Torsten Schaub, Sven Thiele +1
Hybrid Metabolic Network Completion
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn +2
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, Martin Gebser, Katsumi Inoue +4
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective
Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke
A Consistency-Based Model for Belief Change: Preliminary Report
James Delgrande, Torsten Schaub
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
ROSoClingo: A ROS package for ASP-based robot control
Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu +2
Interactive Answer Set Programming - Preliminary Report
Martin Gebser, Phillip Obermeier, Torsten Schaub
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
David Pearce, Vladimir Sarsakov, Torsten Schaub +2
Grounding Recursive Aggregates: Preliminary Report
Martin Gebser, Roland Kaminski, Torsten Schaub
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos, Marius Lindauer, Torsten Schaub
Multi-threaded ASP Solving with clasp
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Introduction to the 26th International Conference on Logic Programming Special Issue
Manuel Hermenegildo, Torsten Schaub
Clingo = ASP + Control: Preliminary Report
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Martin Gebser, Roland Kaminski, Torsten Schaub
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann +2
Graphs and colorings for answer set programming
Kathrin Konczak, Thomas Linke, Torsten Schaub
Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems
Philippe Besnard, Torsten Schaub, Hans Tompits +1
A Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
Experimenting with robotic intra-logistics domains
Martin Gebser, Philipp Obermeier, Thomas Otto +4