| Publication | Date of Publication | Type |
|---|
| On logics and semantics for general logic programs | 2024-10-24 | Paper |
| An inferential theory of causal reasoning | 2024-06-26 | Paper |
Default consequence relations as a logical framework for logic programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| A logical theory of causality | 2021-04-02 | Paper |
Sequential dynamic logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
| scientific article; zbMATH DE number 6292804 (Why is no real title available?) | 2014-05-07 | Paper |
| Logic in nonmonotonic reasoning | 2013-02-28 | Paper |
Causal dynamic inference
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
| Yet another characterization of strong equivalence | 2012-08-29 | Paper |
Here and there among logics for logic programming
Correct Reasoning | 2012-07-23 | Paper |
| Two theories of nonmonotonic reasoning | 2011-06-21 | Paper |
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
A Causal Theory of Abduction
Journal Of Logic And Computation | 2007-12-10 | Paper |
A causal approach to nonmonotonic reasoning
Artificial Intelligence | 2006-02-07 | Paper |
Explanatory Nonmonotonic Reasoning
Advances in Logic | 2005-05-03 | Paper |
Collective Argumentation and Disjunctive Logic Programming
Journal Of Logic And Computation | 2004-01-28 | Paper |
Brave nonmonotonic inference and its kinds
Annals of Mathematics and Artificial Intelligence | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1882045 (Why is no real title available?) | 2003-03-13 | Paper |
| scientific article; zbMATH DE number 1784997 (Why is no real title available?) | 2003-02-25 | Paper |
Entrenchment versus dependence: Coherence and foundations in belief change
Journal of Logic, Language and Information | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1628513 (Why is no real title available?) | 2001-07-31 | Paper |
Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Belief contraction as nonmonotonic inference
Journal of Symbolic Logic | 2000-10-03 | Paper |
A foundationalist view of the AGM theory of belief change
Artificial Intelligence | 2000-06-04 | Paper |
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming | 1999-08-17 | Paper |
A foundational theory of belief and belief change
Artificial Intelligence | 1999-04-28 | Paper |
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence | 1999-01-12 | Paper |
A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
The Journal of Logic Programming | 1998-10-04 | Paper |
| scientific article; zbMATH DE number 994055 (Why is no real title available?) | 1997-03-23 | Paper |
Modal nonmonotonic logics demodalized
Annals of Mathematics and Artificial Intelligence | 1997-02-09 | Paper |
| scientific article; zbMATH DE number 269623 (Why is no real title available?) | 1993-08-18 | Paper |
Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Concerted instant-interval temporal semantics. I: Temporal ontologies
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
