| Publication | Date of Publication | Type |
|---|
On the foundations of grounding in answer set programming
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Answer set planning: a survey
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
How to build your own ASP-based system?!
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Linear-time temporal answer set programming
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Metric temporal equilibrium logic over timed traces
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
Clingraph: a system for ASP-based visualization
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
| Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis | 2024-07-19 | Paper |
| Hamiltonian cycle reconfiguration with answer set programming | 2024-05-29 | Paper |
| Recongo: bounded combinatorial reconfiguration with answer set programming | 2024-05-29 | Paper |
| Past-present temporal programs over finite traces | 2024-05-29 | Paper |
A general framework for preferences in answer set programming
Artificial Intelligence | 2023-12-14 | Paper |
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
Answer set programming made easy
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
| Metric temporal answer set programming over timed traces | 2023-04-04 | Paper |
\textit{Clingraph}: ASP-based visualization
(available as arXiv preprint) | 2023-04-04 | Paper |
Towards Verifying Logic Programs in the Input Language of clingo
Fields of Logic and Computation III | 2022-11-09 | Paper |
A tutorial on hybrid answer set solving with \textit{clingo}
Reasoning Web. Semantic Interoperability on the Web | 2022-07-01 | Paper |
Planning with Incomplete Information in Quantified Answer Set Programming
Theory and Practice of Logic Programming | 2022-01-10 | 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 |
Train scheduling with hybrid answer set programming
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
\texttt{eclingo}: a solver for epistemic logic programs
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Verifying Tight Logic Programs with anthem and vampire
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Towards metric temporal answer set programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| Temporal logic programs with temporal description logic axioms | 2020-06-04 | Paper |
| Lower bound founded logic of here-and-there | 2020-02-18 | Paper |
| Computing Diverse Optimal Stable Models | 2019-10-24 | Paper |
| The return of \textit{xorro} | 2019-10-10 | Paper |
| Train scheduling with hybrid ASP | 2019-10-10 | Paper |
| Verifying strong equivalence of programs in the input language of \textsc{gringo} | 2019-10-10 | Paper |
| Towards dynamic answer set programming over finite traces | 2019-10-10 | Paper |
| \textit{telingo} = ASP + time | 2019-10-10 | Paper |
A simple signed system for paraconsistent reasoning
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Multi-shot ASP solving with clingo
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Hybrid metabolic network completion
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Artificial Intelligence | 2019-08-28 | Paper |
Skeptical query-answering in Constrained Default Logic
Practical Reasoning | 2019-04-29 | Paper |
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
Annals of Operations Research | 2019-03-06 | Paper |
\(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Temporal answer set programming on finite traces
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
| Computing diverse Boolean networks from phosphoproteomic time series data | 2018-10-17 | Paper |
| A minimization-based approach to iterated multi-agent belief change | 2018-07-12 | Paper |
Abstract gringo
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
\textit{clingcon}: the next generation
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
aspeed: solver scheduling via answer set programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Shift design with answer set programming
Fundamenta Informaticae | 2017-11-09 | Paper |
Answer set programming modulo acyclicity
Fundamenta Informaticae | 2017-11-09 | Paper |
Clingo goes linear constraints over reals and integers
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
plasp 3: towards effective ASP planning
(available as arXiv preprint) | 2017-09-05 | Paper |
| Catnap: generating test suites of constrained combinatorial testing with answer set programming | 2017-09-05 | Paper |
Hybrid metabolic network completion
(available as arXiv preprint) | 2017-09-05 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Logic Programming and Nonmonotonic Reasoning | 2017-09-05 | Paper |
Automatic construction of parallel portfolios via algorithm configuration
Artificial Intelligence | 2017-02-22 | Paper |
Writing declarative specifications for clauses
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Integrating ASP into ROS for reasoning in robots
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
An implementation of consistency-based multi-agent belief change using ASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Implementing preferences with asprin
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 |
Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
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 |
Learning Boolean logic models of signaling networks with ASP
Theoretical Computer Science | 2015-09-29 | Paper |
A model-theoretic approach to belief change in answer set programming
ACM Transactions on Computational Logic | 2015-09-17 | 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 |
<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Answer set programming as a modeling language for course timetabling
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Minimal intervention strategies in logical signaling networks with ASP
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| scientific article; zbMATH DE number 6261538 (Why is no real title available?) | 2014-02-25 | Paper |
| Unsatisfiability-based optimization in clasp | 2014-02-25 | 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 |
ASP modulo CSP: the clingcon system
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 |
Merging Logic Programs under Answer Set Semantics
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 |
| Evolution of ontologies using ASP | 2012-08-29 | Paper |
Gearing up for effective ASP planning
Correct Reasoning | 2012-07-23 | Paper |
Knowledge-based multi-criteria optimization to support indoor positioning
Annals of Mathematics and Artificial Intelligence | 2012-05-23 | Paper |
Complex optimization in answer set programming
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Automatic network reconstruction using ASP
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 |
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
Lecture Notes in Computer Science | 2010-04-06 | Paper |
On the relation between Reiter's default logic and its (major) variants
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Optimality theory through default logic
Lecture Notes in Computer Science | 2010-03-03 | 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 |
COBA 2.0: A Consistency-Based Belief Change System
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Qualitative Constraint Enforcement in Advanced Policy Specification
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Modeling biological networks by action languages via answer set programming
Constraints | 2008-09-02 | Paper |
The nomore + + Approach to Answer Set Solving
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
Functional and Logic Programming | 2008-04-11 | Paper |
Tableau Calculi for Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Modelling Biological Networks by Action Languages Via Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Finding Metabolic Pathways in Decision Forests
Studies in Classification, Data Analysis, and Knowledge Organization | 2008-03-06 | Paper |
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Lecture Notes in Computer Science | 2008-03-04 | Paper |
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Journal Of Logic And Computation | 2007-12-10 | Paper |
Conflict-Driven Answer Set Enumeration
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
A Preference-Based Framework for Updating Logic Programs
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 |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
A consistency-based framework for merging knowledge bases
Journal of Applied Logic | 2007-07-25 | Paper |
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Expressing Default Logic Variants in Default Logic
Journal Of Logic And Computation | 2006-03-09 | Paper |
A consistency-based approach for belief change
Artificial Intelligence | 2006-02-07 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
On Computing Belief Change Operations using Quantified Boolean Formulas
Journal Of Logic And Computation | 2005-03-21 | Paper |
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 2063029 (Why is no real title available?) | 2004-03-29 | Paper |
Reasoning credulously and skeptically within a single extension
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Compiling specificity into approaches to nonmonotonic reasoning
Artificial Intelligence | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1931686 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931670 (Why is no real title available?) | 2003-06-20 | Paper |
scientific article; zbMATH DE number 1931670 (Why is no real title available?)
(available as arXiv preprint) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1890623 (Why is no real title available?) | 2003-05-18 | Paper |
Optimality theory as a family of cumulative logics
Journal of Logic, Language and Information | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1844493 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1844462 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1844500 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1759390 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1748572 (Why is no real title available?) | 2002-11-13 | Paper |
| The role of default logic in knowledge representation | 2002-02-19 | Paper |
| scientific article; zbMATH DE number 1552526 (Why is no real title available?) | 2001-07-29 | Paper |
Expressing preferences in default logic
Artificial Intelligence | 2000-12-12 | Paper |
Alternative foundations for Reiter's default logic
Artificial Intelligence | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1453066 (Why is no real title available?) | 2000-10-25 | Paper |
What is a (non-constructive) non-monotone logical system?
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1341460 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1330126 (Why is no real title available?) | 1999-11-22 | Paper |
| scientific article; zbMATH DE number 1269576 (Why is no real title available?) | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1301757 (Why is no real title available?) | 1999-06-16 | Paper |
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence | 1999-01-12 | Paper |
Towards a classification of defaults logics
Journal of Applied Non-Classical Logics | 1998-12-10 | Paper |
Signed systems for paraconsistent reasoning
Journal of Automated Reasoning | 1998-08-03 | Paper |
The automation of reasoning with incomplete information. From semantic foundations to efficient computation
Lecture Notes in Computer Science | 1998-06-04 | Paper |
Default reasoning by deductive planning
Journal of Automated Reasoning | 1996-07-14 | Paper |
| scientific article; zbMATH DE number 770147 (Why is no real title available?) | 1995-11-20 | Paper |
Alternative approaches to default logic
Artificial Intelligence | 1995-07-27 | Paper |
| scientific article; zbMATH DE number 611093 (Why is no real title available?) | 1994-07-26 | Paper |
| scientific article; zbMATH DE number 140413 (Why is no real title available?) | 1993-03-28 | Paper |
