Martin Gebser

Philipp Obermeier

Michel Ratsch-Heitmann

Mario Runge

Theory Pract. Log. Program., 2018

Experimenting with robotic intra-logistics domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

The Potsdam Answer Set Solving Collection 5.0.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

High-level synthesis of on-chip multiprocessor architectures based on answer set programming.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

ASP-Based Time-Bounded Planning for Logistics Robots.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Learning discrete decomposable graphical models via constraint optimization.

[BibT_eX]

[DOI]

Stat. Comput., 2017

The Sixth Answer Set Programming Competition.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

The Design of the Seventh Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2016

Answer Set Programming Modulo Acyclicity.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Shift Design with Answer Set Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Grounding Recursive Aggregates: Preliminary Report.

[BibT_eX]

[DOI]

Roland Kaminski

CoRR, 2016

Modeling and Language Extensions.

[BibT_eX]

[DOI]

AI Mag., 2016

Design and results of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Writing Declarative Specifications for Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Knowledge-Based Sequence Mining with ASP.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

From Non-Convex Aggregates to Monotone Aggregates in ASP.

[BibT_eX]

[DOI]

Mario Alviano

Wolfgang Faber

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Answer Set Solving with Generalized Learned Constraints.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Rewriting Optimization Statements in Answer-Set Programs.

[BibT_eX]

[DOI]

Jori Bomanson

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

What's Hot in the Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Abstract gringo.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Rewriting recursive aggregates in answer set programming: back to monotonicity.

[BibT_eX]

[DOI]

Mario Alviano

Wolfgang Faber

Theory Pract. Log. Program., 2015

Learning Boolean logic models of signaling networks with ASP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Interactive Answer Set Programming - Preliminary Report.

[BibT_eX]

[DOI]

Philipp Obermeier

CoRR, 2015

Combining Heuristics for Configuration Problems Using Answer Set Programming.

[BibT_eX]

[DOI]

Anna Ryabokon

Gottfried Schenner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Design of the Sixth Answer Set Programming Competition - - Report -.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Progress in clasp Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

ASP Solving for Expanding Universes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Solving combined configuration problems: a heuristic approach.

[BibT_eX]

[DOI]

Anna Ryabokon

Gottfried Schenner

Proceedings of the 17th International Configuration Workshop, 2015

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Clingo = ASP + Control: Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2014

The Design of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

CoRR, 2014

Online Agent Logic Programming with oClingo.

[BibT_eX]

[DOI]

Timothy Joseph Cerexhe

Michael Thielscher

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

ASP Encodings of Acyclicity Properties.

[BibT_eX]

[DOI]

Jussi Rintanen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

SAT Modulo Graphs: Acyclicity.

[BibT_eX]

[DOI]

Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Improving the Normalization of Weight Rules in Answer Set Programs.

[BibT_eX]

[DOI]

Jori Bomanson

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Answer Set Programming as SAT modulo Acyclicity.

[BibT_eX]

[DOI]

Jussi Rintanen

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

The ICLP 2013 Doctoral Consortium.

[BibT_eX]

[DOI]

Marco Gavanelli

Theory Pract. Log. Program., 2013

Tableau Calculi for Logic Programs under Answer Set Semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Answer Set Programming for Stream Reasoning

[BibT_eX]

[DOI]

CoRR, 2013

A System for Interactive Query Answering with Answer Set Programming.

[BibT_eX]

[DOI]

Philipp Obermeier

CoRR, 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2013

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Ricochet Robots: A Transverse ASP Benchmark.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Matchmaking with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Symbolic System Synthesis Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Advanced Conflict-Driven Disjunctive Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Domain-Specific Heuristics in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Answer Set Solving in Practice

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01561-8, 2012

Multi-threaded ASP solving with clasp.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Conflict-driven answer set solving: From theory to practice.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Stream Reasoning with Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Gearing Up for Effective ASP Planning.

[BibT_eX]

[DOI]

Roland Kaufmann

Proceedings of the Correct Reasoning, 2012

2011

Proof theory and algorithms for answer set programming.

[BibT_eX]

[DOI]

PhD thesis, 2011

Detecting inconsistencies in large biological networks with answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

On elementary loops of logic programs.

[BibT_eX]

[DOI]

Joohyung Lee

Yuliya Lierler

Theory Pract. Log. Program., 2011

Complex optimization in answer set programming.

[BibT_eX]

[DOI]

Roland Kaminski

Theory Pract. Log. Program., 2011

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

[BibT_eX]

[DOI]

Roland Kaminski

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

An incremental answer set programming based system for finite model computation.

[BibT_eX]

[DOI]

Orkunt Sabuncu

AI Commun., 2011

Potassco: The Potsdam Answer Set Solving Collection.

[BibT_eX]

[DOI]

AI Commun., 2011

A Portfolio Solver for Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Marius Thomas Schneider

Stefan Ziller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Cluster-Based ASP Solving with claspar.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

plasp: A Prototype for PDDL-Based Planning in ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Advances in gringo Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Reactive Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Finite Model Computation via Answer Set Programming.

[BibT_eX]

[DOI]

Orkunt Sabuncu

Proceedings of the IJCAI 2011, 2011

Multi-Criteria Optimization in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Challenges in Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Heuristics in Conflict Resolution

[BibT_eX]

[DOI]

CoRR, 2010

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Incremental Answer Set Programming Based System for Finite ModelComputation.

[BibT_eX]

[DOI]

Orkunt Sabuncu

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Coala: A Compiler from Action Languages to ASP.

[BibT_eX]

[DOI]

Torsten Grote

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The BioASP Library: ASP Solutions for Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Monotonic Answer Set Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.

[BibT_eX]

[DOI]

Int. J. Reconfigurable Comput., 2009

Experiences Running a Parallel Answer Set Solver on Blue Gene.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

The Conflict-Driven Answer Set Solver clasp: Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

On the Input Language of ASP Grounder Gringo.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A Simple Distributed Conflict-Driven Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

The Second Answer Set Programming Competition.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Constraint Answer Set Solving.

[BibT_eX]

[DOI]

Max Ostrowski

Proceedings of the Logic Programming, 25th International Conference, 2009

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Solution Enumeration for Projected Boolean Search Problems.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Conflict-Driven Disjunctive Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Engineering an Incremental ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Advanced Preprocessing for Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Meta-Programming Technique for Debugging Answer-Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

GrinGo : A New Grounder for Answer Set Programming.

[BibT_eX]

[DOI]

Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

The First Answer Set Programming System Competition.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Head-Elementary-Set-Free Logic Programs.

[BibT_eX]

[DOI]

Joohyung Lee

Yuliya Lierler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

clasp : A Conflict-Driven Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Debugging ASP Programs by Means of ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Generic Tableaux for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Advanced Techniques for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Tableau Calculi for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

What's a Head Without a Body?

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Elementary Sets of Logic Programs.

[BibT_eX]

[DOI]

Joohyung Lee

Yuliya Lierler

Proceedings of the Proceedings, 2006

2005

Loops: Relevant or Redundant?

[BibT_eX]

[DOI]