| Publication | Date of Publication | Type |
|---|
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
Journal of Logic and Computation | 2026-03-05 | Paper |
The XAI system for answer set programming xASP2
Journal of Logic and Computation | 2025-04-03 | Paper |
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Journal of Logic and Computation | 2025-04-03 | Paper |
Aggregate semantics for propositional answer set programs
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
International Journal of Approximate Reasoning | 2024-07-10 | Paper |
| Generative Datalog and answer set programming (extended abstract) | 2024-05-29 | Paper |
| Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases | 2024-05-29 | Paper |
| AMO-aware Aggregates in Answer Set Programming | 2024-05-05 | Dataset |
ASP and subset minimality: enumeration, cautious reasoning and MUSes
Artificial Intelligence | 2023-06-27 | Paper |
| Modal logic S5 in answer set programming with lazy creation of worlds | 2023-04-04 | Paper |
| Enumeration of minimal models and MUSes in WASP | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7455710 (Why is no real title available?) | 2022-01-11 | Paper |
Modal logic S5 satisfiability in answer set programming
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Unsatisfiable core analysis and aggregates for optimum stable model search
Fundamenta Informaticae | 2021-05-20 | Paper |
Coalition formation in social environments with logic-based agents1
AI Communications | 2021-01-20 | Paper |
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
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 |
Enhancing magic sets with an application to ontological reasoning
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 |
| Chain answer sets for logic programs with generalized atoms | 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 |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
Argumentation reasoning via circumscription with \textsc{pyglaf}
Fundamenta Informaticae | 2019-07-17 | 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 |
A trajectory calculus for qualitative spatial reasoning using answer set programming
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates
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 |
Complexity and compilation of GZ-aggregates in answer set programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Fuzzy answer set computation via satisfiability modulo theories
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 |
Model enumeration in propositional circumscription via unsatisfiable core analysis
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
| Supportedly stable answer sets for logic programs with generalized atoms | 2017-06-26 | Paper |
Advances in WASP
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 |
Complexity of super-coherence problems in ASP
Theory and Practice of Logic Programming | 2014-05-30 | Paper |
Fuzzy answer sets approximations
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
| scientific article; zbMATH DE number 6139984 (Why is no real title available?) | 2013-02-28 | Paper |
Magic sets for disjunctive Datalog programs
Artificial Intelligence | 2012-11-15 | Paper |
Team-building with answer set programming in the Gioia-Tauro seaport
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
| Dynamic magic sets for disjunctive Datalog programs | 2012-05-11 | Paper |
| scientific article; zbMATH DE number 5996835 (Why is no real title available?) | 2012-01-12 | Paper |
Dynamic magic sets and super-coherent answer set programs
(available as arXiv preprint) | 2011-06-28 | Paper |
| Dynamic magic sets and super-coherent answer set programs | 2011-06-28 | Paper |
Dynamic magic sets for programs with monotone recursive aggregates
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Disjunctive ASP with functions: decidable queries and effective computation
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
