| Publication | Date of Publication | Type |
|---|
Symbolic pattern planning
Artificial Intelligence | 2026-03-23 | Paper |
ASP-based approaches for solving the nuclear medicine scheduling problem
Journal of Logic and Computation | 2026-03-05 | Paper |
Operating room scheduling via answer set programming: improved encoding and test on real data
Journal of Logic and Computation | 2025-04-03 | Paper |
Scheduling pre-operative assessment clinic with answer set programming
Journal of Logic and Computation | 2025-03-19 | Paper |
A simple proof-theoretic characterization of stable models: reduction to difference logic and experiments
Artificial Intelligence | 2025-03-05 | Paper |
On the configuration of more and less expressive logic programs
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| Comparing planning domain models using answer set programming | 2024-05-29 | Paper |
Master Surgical Scheduling via Answer Set Programming
Journal Of Logic And Computation | 2024-02-13 | Paper |
Rescheduling rehabilitation sessions with answer set programming
Journal Of Logic And Computation | 2023-06-15 | Paper |
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Artificial Intelligence | 2022-04-11 | Paper |
The Seventh Answer Set Programming Competition: Design and Results
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 |
Manipulation of articulated objects using dual-arm robots via answer set programming
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Abstract Solvers for Computing Cautious Consequences of ASP programs
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Abstract solvers for quantified Boolean formulas and their applications | 2020-02-10 | Paper |
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence | 2020-01-20 | Paper |
Translation-based approaches for solving disjunctive temporal problems with preferences
Constraints | 2019-10-25 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| An ASP-based framework for the manipulation of articulated objects using dual-arm robots | 2019-10-10 | Paper |
| scientific article; zbMATH DE number 7047282 (Why is no real title available?) | 2019-04-24 | Paper |
Shared aggregate sets in answer set programming
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
CASP solutions for planning in hybrid domains
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Disjunctive answer set solvers via templates
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
The Sixth Answer Set Programming Competition
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
| Nurse scheduling via answer set programming | 2017-09-05 | Paper |
| The design of the Seventh Answer Set Programming Competition | 2017-09-05 | Paper |
| scientific article; zbMATH DE number 6747884 (Why is no real title available?) | 2017-07-18 | Paper |
Abstract solvers for Dung's argumentation frameworks
Theory and Applications of Formal Argumentation | 2016-03-10 | Paper |
Design and results of the Fifth Answer Set Programming Competition
Artificial Intelligence | 2015-12-28 | Paper |
Multi-engine ASP solving with policy adaptation
Journal Of Logic And Computation | 2015-12-28 | Paper |
The Design of the Sixth Answer Set Programming Competition
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Multi-level Algorithm Selection for ASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
| Applying machine learning techniques to ASP solving | 2014-02-25 | Paper |
| \textsf{TSAT++}: an open platform for satisfiability modulo theories | 2013-09-25 | Paper |
Solving disjunctive temporal problems with preferences using maximum satisfiability
AI Communications | 2012-10-25 | Paper |
Planning as satisfiability with IPC simple preferences and action costs
AI Communications | 2012-10-25 | Paper |
Algorithms for Solving Satisfiability Problems with Qualitative Preferences
Correct Reasoning | 2012-07-23 | Paper |
Look-back techniques for ASP programs with aggregates
Fundamenta Informaticae | 2012-07-04 | Paper |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Introducing preferences in planning as satisfiability
Journal Of Logic And Computation | 2011-06-10 | Paper |
Solving satisfiability problems with preferences
Constraints | 2010-11-19 | Paper |
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
optsat: A Tool for Solving SAT Related Optimization Problems
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
Journal of Algorithms | 2008-09-29 | Paper |
Experimenting with Look-Back Heuristics for Hard ASP Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Answer set programming based on propositional satisfiability
Journal of Automated Reasoning | 2007-01-30 | Paper |
The SAT-based approach to separation logic
Journal of Automated Reasoning | 2007-01-24 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 1931668 (Why is no real title available?) | 2003-06-20 | Paper |
