| Publication | Date of Publication | Type |
|---|
Navigating and Querying Answer Sets: How Hard Is It Really and Why? (Empirical Case Study)
| 2024-07-16 | Dataset |
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes
| 2024-05-29 | Paper |
Enhancing temporal planning by sequential macro-actions
| 2024-05-29 | Paper |
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Lifting symmetry breaking constraints with inductive logic programming
Machine Learning | 2022-08-10 | Paper |
The Seventh Answer Set Programming Competition: Design and Results
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
plasp 3: towards effective ASP planning
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Declarative encodings of acyclicity properties
Journal Of Logic And Computation | 2020-08-05 | Paper |
Rewriting optimization statements in answer-set programs
| 2019-10-24 | Paper |
Multi-shot ASP solving with clingo
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Abstract gringo
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Shift design with answer set programming
Fundamenta Informaticae | 2017-11-09 | Paper |
Rewriting recursive aggregates in answer set programming: back to monotonicity
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Answer set programming modulo acyclicity
Fundamenta Informaticae | 2017-11-09 | Paper |
The Sixth Answer Set Programming Competition
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
plasp 3: towards effective ASP planning
| 2017-09-05 | Paper |
The design of the Seventh Answer Set Programming Competition
| 2017-09-05 | Paper |
scientific article; zbMATH DE number 6747915 (Why is no real title available?)
| 2017-07-18 | Paper |
Learning discrete decomposable graphical models via constraint optimization
Statistics and Computing | 2017-03-23 | Paper |
Writing declarative specifications for clauses
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Design and results of the Fifth Answer Set Programming Competition
Artificial Intelligence | 2015-12-28 | Paper |
The Design of the Sixth Answer Set Programming Competition
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Progress in clasp series 3
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Answer set programming modulo acyclicity
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Shift Design with Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
aspartame: solving constraint satisfaction problems with answer set programming
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
ASP solving for expanding universes
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Combining Heuristics for Configuration Problems Using Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Learning Boolean logic models of signaling networks with ASP
Theoretical Computer Science | 2015-09-29 | Paper |
Tableau calculi for logic programs under answer set semantics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Ricochet Robots reloaded: a case-study in multi-shot ASP solving
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Improving the normalization of weight rules in answer set programs
Logics in Artificial Intelligence | 2015-01-14 | Paper |
SAT modulo graphs: acyclicity
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Extending the metabolic network of Ectocarpus siliculosus using answer set programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Symbolic system synthesis using answer set programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Accurate computation of sensitizable paths using answer set programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Multi-threaded ASP solving with clasp
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Conflict-driven answer set solving: from theory to practice
Artificial Intelligence | 2012-11-15 | Paper |
Constraint Answer Set Solving
Logic Programming | 2012-11-13 | Paper |
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Logic Programming | 2012-11-13 | Paper |
Multi-criteria optimization in answer set programming
| 2012-08-29 | Paper |
Gearing up for effective ASP planning
Correct Reasoning | 2012-07-23 | Paper |
On elementary loops of logic programs
Theory and Practice of Logic Programming | 2012-05-24 | Paper |
Complex optimization in answer set programming
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
scientific article; zbMATH DE number 5914356 (Why is no real title available?)
| 2011-06-28 | Paper |
scientific article; zbMATH DE number 5914361 (Why is no real title available?)
| 2011-06-28 | Paper |
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
Reactive answer set programming
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Coala: a compiler from action languages to ASP
Logics in Artificial Intelligence | 2010-10-01 | Paper |
An Incremental Answer Set Programming Based System for Finite ModelComputation
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Monotonic Answer Set Programming
Journal Of Logic And Computation | 2009-08-24 | Paper |
Solution Enumeration for Projected Boolean Search Problems
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
Generic Tableaux for Answer Set Programming
Logic Programming | 2009-03-05 | Paper |
Engineering an Incremental ASP Solver
Logic Programming | 2009-01-22 | Paper |
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
Logic Programming | 2009-01-22 | Paper |
The nomore + + Approach to Answer Set Solving
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Tableau Calculi for Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Conflict-Driven Answer Set Enumeration
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Debugging ASP Programs by Means of ASP
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Head-Elementary-Set-Free Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
