| Publication | Date of Publication | Type |
|---|
Sequent-type rejection systems for finite-valued non-deterministic logics
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
| scientific article; zbMATH DE number 7585090 (Why is no real title available?) | 2022-09-14 | Paper |
A many-sorted variant of Japaridze's polymodal provability logic
Logic Journal of the IGPL | 2022-08-10 | Paper |
| scientific article; zbMATH DE number 7455717 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455717 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| Uhura: an authoring tool for specifying answer-set programs using controlled natural language | 2020-02-18 | Paper |
| Characterising relativised strong equivalence with projection for non-ground answer-set programs | 2020-02-18 | Paper |
| A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur | 2019-10-10 | Paper |
| On structural analysis of non-ground answer-set programs | 2019-04-24 | Paper |
Blocked clauses in first-order logic
EPiC Series in Computing | 2019-01-10 | Paper |
Local redundancy in SAT: generalizations of blocked clauses
(available as arXiv preprint) | 2018-11-02 | Paper |
Model-based recasting in answer-set programming
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Stepwise debugging of answer-set programs
Theory and Practice of Logic Programming | 2018-02-20 | Paper |
| \(\mathsf {Harvey}\): a system for random testing in ASP | 2017-09-05 | Paper |
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Super-blocked clauses
Automated Reasoning | 2016-09-05 | Paper |
A model-theoretic approach to belief change in answer set programming
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| scientific article; zbMATH DE number 6261542 (Why is no real title available?) | 2014-02-25 | Paper |
Annotating answer-set programs in LANA
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Merging Logic Programs under Answer Set Semantics
Logic Programming | 2012-11-13 | Paper |
Stepwise debugging of description-logic programs
Correct Reasoning | 2012-07-23 | Paper |
| Methods and methodologies for developing answer-set programs -- project description | 2012-05-11 | Paper |
Stepping through an answer-set program
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| On testing answer-set programs | 2011-05-11 | Paper |
Reasoning about evolving nonmonotonic knowledge bases
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Catching the Ouroboros: on debugging non-ground answer-set programs
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
The system Kato: Detecting cases of plagiarism for answer-set programs
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Combining answer set programming with description logics for the semantic web
Artificial Intelligence | 2009-07-17 | Paper |
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
Logic Programming | 2009-01-22 | Paper |
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
Logic Programming | 2009-01-22 | Paper |
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic | 2008-12-21 | 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 |
Modularity Aspects of Disjunctive Stable Models
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Modularity Aspects of Disjunctive Stable Models
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 |
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains
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 |
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | 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 |
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 2032415 (Why is no real title available?) | 2004-01-26 | Paper |
| scientific article; zbMATH DE number 1950256 (Why is no real title available?) | 2003-07-17 | 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 |
| scientific article; zbMATH DE number 1890622 (Why is no real title available?) | 2003-05-18 | Paper |
On different proof-search strategies for orthologic
Studia Logica | 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 1759390 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1748576 (Why is no real title available?) | 2002-11-13 | Paper |
| scientific article; zbMATH DE number 1759366 (Why is no real title available?) | 2002-06-25 | Paper |
A survey of non-monotonic reasoning
Open Systems & Information Dynamics | 1999-03-02 | Paper |
| scientific article; zbMATH DE number 1189101 (Why is no real title available?) | 1999-01-05 | Paper |
