| Publication | Date of Publication | Type |
|---|
Totality, determinism and functionality problems in (incomplete) abstract argumentation frameworks
Journal of Logic and Computation | 2026-06-23 | Paper |
Constraints and lifting-based (conditional) preferences in abstract argumentation
Artificial Intelligence | 2025-12-12 | Paper |
Querying data exchange settings beyond positive queries
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Abstract argumentation frameworks with strong and weak constraints
Artificial Intelligence | 2025-02-12 | Paper |
On acceptance conditions in abstract argumentation frameworks
Information Sciences | 2024-04-30 | Paper |
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
Artificial Intelligence | 2023-10-04 | Paper |
Preference-based inconsistency-tolerant query answering under existential rules
Artificial Intelligence | 2022-11-08 | Paper |
Query answering over inconsistent knowledge bases: a probabilistic approach
Theoretical Computer Science | 2022-10-14 | Paper |
A logical framework for view updating in indefinite databases
Logic Journal of the IGPL | 2022-06-09 | Paper |
On the semantics of abstract argumentation frameworks: a logic programming approach
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Checking termination of bottom-up evaluation of logic programs with function symbols
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Using linear constraints for logic program termination analysis
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A measure of arbitrariness in abductive explanations
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| On the termination of logic programs with function symbols | 2014-02-25 | Paper |
The View-Update Problem for Indefinite Databases
Logics in Artificial Intelligence | 2012-09-21 | Paper |
\(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
Theory and Practice of Logic Programming | 2010-04-07 | Paper |
| On the semantics of logic programs with preferences | 2009-04-28 | Paper |
On the Semantics of Logic Programs with Preferences
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Aggregates and Preferences in Logic Programming
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
| scientific article; zbMATH DE number 2147919 (Why is no real title available?) | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 1980928 (Why is no real title available?) | 2003-09-15 | Paper |
