| Publication | Date of Publication | Type |
|---|
Filters-based revision
Annals of Mathematics and Artificial Intelligence | 2025-11-07 | Paper |
A general framework for preferences in answer set programming
Artificial Intelligence | 2023-12-14 | Paper |
On the role of possibility in action execution and knowledge in the situation calculus
Advances in Artificial Intelligence | 2020-08-05 | Paper |
An epistemic approach to nondeterminism: believing in the simplest course of events
Studia Logica | 2019-11-29 | Paper |
The logic of qualitative probability
Artificial Intelligence | 2019-08-28 | Paper |
General Belief Revision
Journal of the ACM | 2019-02-25 | Paper |
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic
Journal of Artificial Intelligence Research | 2019-02-12 | Paper |
| Reconsidering AGM-style belief revision in the context of logic programs | 2018-07-12 | Paper |
| A minimization-based approach to iterated multi-agent belief change | 2018-07-12 | Paper |
A knowledge level account of forgetting
Journal of Artificial Intelligence Research | 2018-01-12 | Paper |
Kernel contraction and base dependence
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
| scientific article; zbMATH DE number 6606369 (Why is no real title available?) | 2016-07-26 | Paper |
Updating \(\leqslant, <\)-chains
Information Processing Letters | 2016-06-16 | Paper |
Implementing preferences with asprin
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
An implementation of consistency-based multi-agent belief change using ASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Belief change with uncertain action histories
Journal of Artificial Intelligence Research | 2015-10-29 | Paper |
A model-theoretic approach to belief change in answer set programming
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Belief revision in Horn theories
Artificial Intelligence | 2015-02-02 | Paper |
Horn clause contraction functions
The Journal of Artificial Intelligence Research (JAIR) | 2013-11-28 | Paper |
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| What's in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning | 2013-02-28 | Paper |
Merging Logic Programs under Answer Set Semantics
Logic Programming | 2012-11-13 | Paper |
Considerations on belief revision in an action theory
Correct Reasoning | 2012-07-23 | Paper |
Revising beliefs on the basis of evidence
International Journal of Approximate Reasoning | 2012-07-05 | Paper |
Parallel belief revision: revising by sets of formulas
Artificial Intelligence | 2012-05-23 | Paper |
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research | 2011-03-08 | Paper |
A program-level approach to revising logic programs under the answer set semantics
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
On the relation between Reiter's default logic and its (major) variants
Lecture Notes in Computer Science | 2010-04-06 | Paper |
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Compositional belief update
(available as arXiv preprint) | 2009-04-28 | Paper |
COBA 2.0: A Consistency-Based Belief Change System
Lecture Notes in Computer Science | 2008-09-16 | Paper |
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Journal Of Logic And Computation | 2007-12-10 | Paper |
A Preference-Based Framework for Updating Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
On a rule-based interpretation of default conditionals
Annals of Mathematics and Artificial Intelligence | 2007-08-17 | Paper |
A consistency-based framework for merging knowledge bases
Journal of Applied Logic | 2007-07-25 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Expressing Default Logic Variants in Default Logic
Journal Of Logic And Computation | 2006-03-09 | Paper |
A consistency-based approach for belief change
Artificial Intelligence | 2006-02-07 | Paper |
Gricean belief change
Studia Logica | 2005-12-02 | Paper |
On Computing Belief Change Operations using Quantified Boolean Formulas
Journal Of Logic And Computation | 2005-03-21 | Paper |
Representing von Neumann-Morgenstern games in the situation calculus
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
Reasoning credulously and skeptically within a single extension
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Compiling specificity into approaches to nonmonotonic reasoning
Artificial Intelligence | 2003-08-28 | Paper |
COBA: a consistency-based belief revision system
Lecture Notes in Computer Science | 2003-06-20 | Paper |
plp: A generic compiler for ordered logic programs
Lecture Notes in Computer Science | 2003-05-18 | Paper |
| scientific article; zbMATH DE number 1784996 (Why is no real title available?) | 2003-02-06 | Paper |
On computing solutions to belief change scenarios
Lecture Notes in Computer Science | 2002-12-12 | Paper |
How to reason credulously and skeptically within a single extension
Lecture Notes in Computer Science | 2002-12-12 | Paper |
A compilation of Brewka and Eiter's approach to prioritization
Lecture Notes in Computer Science | 2002-11-25 | Paper |
A comparison of point-based approaches to qualitative temporal reasoning
Artificial Intelligence | 2002-07-24 | Paper |
Knowledge and planning in an action-based multi-agent framework: A case study
Lecture Notes in Computer Science | 2002-05-07 | Paper |
| The role of default logic in knowledge representation | 2002-02-19 | Paper |
Considerations on compositional update operators
Lecture Notes in Computer Science | 2002-01-28 | Paper |
A formal analysis of relevance
Erkenntnis | 2001-03-22 | Paper |
Expressing preferences in default logic
Artificial Intelligence | 2000-12-12 | Paper |
Reasoning with sets of preferences in default logic
Lecture Notes in Computer Science | 1999-11-22 | Paper |
| scientific article; zbMATH DE number 1269577 (Why is no real title available?) | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1250354 (Why is no real title available?) | 1999-02-10 | Paper |
On first-order conditional logics
Artificial Intelligence | 1999-01-12 | Paper |
The complexity of minimum partial truth assignments and implication in negation-free formulae
Annals of Mathematics and Artificial Intelligence | 1998-07-19 | Paper |
Alternative approaches to default logic
Artificial Intelligence | 1995-07-27 | Paper |
Two results in negation-free logic
Applied Mathematics Letters | 1995-06-13 | Paper |
| scientific article; zbMATH DE number 140378 (Why is no real title available?) | 1993-03-28 | Paper |
A general approach for determining the validity of commonsense assertions using conditional logics
International Journal of Intelligent Systems | 1990-01-01 | Paper |
An approach to default reasoning based on a first-order conditional logic: Revised report
Artificial Intelligence | 1988-01-01 | Paper |
A first-order conditional logic for prototypical properties
Artificial Intelligence | 1987-01-01 | Paper |
A formal approach to learning from examples
International Journal of Man-Machine Studies | 1987-01-01 | Paper |
