| Publication | Date of Publication | Type |
|---|
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 |
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 |
| AMO-aware Aggregates in Answer Set Programming | 2024-05-05 | Dataset |
| Compilation of tight ASP programs | 2023-07-24 | Dataset |
ASP and subset minimality: enumeration, cautious reasoning and MUSes
Artificial Intelligence | 2023-06-27 | Paper |
Rescheduling rehabilitation sessions with answer set programming
Journal Of Logic And Computation | 2023-06-15 | Paper |
| Enumeration of minimal models and MUSes in WASP | 2023-04-04 | Paper |
| Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7455710 (Why is no real title available?) | 2022-01-11 | Paper |
| Compilation of Aggregates in ASP Systems | 2021-12-03 | Dataset |
Paracoherent answer set computation
Artificial Intelligence | 2021-11-02 | Paper |
Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
The External Interface for Extending WASP
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 |
Unsatisfiable core analysis and aggregates for optimum stable model search
Fundamenta Informaticae | 2021-05-20 | Paper |
Managing caching strategies for stream reasoning with reinforcement learning
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Optimum stable model search: algorithms and implementation
Journal Of Logic And Computation | 2020-08-05 | Paper |
| Paracoherent Answer Set Computation | 2020-07-28 | Dataset |
Partial compilation of ASP programs
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Better paracoherent answer sets with less resources
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Inconsistency proofs for ASP: the ASP-DRUPE format
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Abstract Solvers for Computing Cautious Consequences of ASP programs
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Algorithm selection for paracoherent answer set computation | 2020-02-18 | Paper |
Answer set enumeration via assumption literals
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | 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 |
Debugging non-ground ASP programs: technique and graphical tools
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Model enumeration via assumption literals
Fundamenta Informaticae | 2019-07-17 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-03-25 | Dataset |
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 |
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Anytime answer set optimization via unsatisfiable core shrinking
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
| Nurse scheduling via answer set programming | 2017-09-05 | Paper |
Advances in WASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Interactive debugging of non-ground ASP programs
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Anytime computation of cautious consequences in answer set programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
