Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q6181447 | 2024-01-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5096573 | 2022-08-17 | Paper |
Formal Methods for Nonmonotonic and Related Logics | 2019-01-17 | Paper |
Formal Methods for Nonmonotonic and Related Logics | 2018-12-12 | Paper |
A Comment on Argumentation | 2016-12-17 | Paper |
A New Perspective on Nonmonotonic Logics | 2016-12-14 | Paper |
A pre-semantics for counterfactual conditionals and similar logics | 2016-12-06 | Paper |
Non-Monotonic Logic: Preferential Versus Algebraic Semantics | 2015-05-19 | Paper |
Semantic interpolation | 2012-07-17 | Paper |
Conditionals and Modularity in General Logics | 2011-03-21 | Paper |
CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS | 2010-08-13 | Paper |
A comment on work by Booth and co-authors | 2010-05-07 | Paper |
A theory of hierarchical consequence and conditionals | 2010-03-05 | Paper |
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations | 2010-02-16 | Paper |
Independence and abstract multiplication | 2010-01-18 | Paper |
Logical tools for handling change in agent-based systems | 2009-12-01 | Paper |
Roadmap for preferential logics | 2009-11-30 | Paper |
Independence -- revision and defaults | 2009-11-16 | Paper |
SIZE AND LOGIC | 2009-08-26 | Paper |
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE | 2009-08-26 | Paper |
Equilibria und weiteres Heiteres | 2009-07-23 | Paper |
Defeasible inheritance systems and reactive diagrams | 2009-03-11 | Paper |
Toolbox | 2008-11-20 | Paper |
A semantics for obligations | 2008-11-17 | Paper |
Factorization (Splitting) | 2007-12-28 | Paper |
Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets | 2007-09-20 | Paper |
A remark on utility streams | 2007-09-02 | Paper |
Domain closure conditions and definability preservation | 2006-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4829809 | 2004-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4546711 | 2003-10-16 | Paper |
Distance semantics for belief revision | 2002-05-13 | Paper |
Explaining updates by minimal sums | 2002-03-03 | Paper |
New techniques and completeness results for preferential structures | 2001-05-14 | Paper |
Unrestricted preferential structures | 2001-01-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4507874 | 2000-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4501668 | 2000-09-04 | Paper |
Preferred history semantics for iterated updates | 2000-07-31 | Paper |
Distance based revision of preferential logics | 1999-12-19 | Paper |
A topological construction of a non-smooth model of cumulativity | 1999-10-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4225119 | 1999-10-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4260396 | 1999-09-13 | Paper |
Results on infinite extensions | 1999-06-21 | Paper |
Filters and partial orders | 1998-04-01 | Paper |
Completeness and incompleteness for plausibility logic | 1997-10-08 | Paper |
Some completeness results for stoppered and ranked classical preferential models | 1997-09-22 | Paper |
A reduction of the theory of confirmation to the notions of distance and measure | 1997-08-24 | Paper |
Nonmonotonic logics. Basic concepts, results, and techniques | 1997-06-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3126180 | 1997-03-23 | Paper |
Preferential Choice Representation Theorems for Branching Time Structures | 1996-06-19 | Paper |
Defaults as Generalized Quantifiers | 1996-06-06 | Paper |
Logic, topology, and integration | 1995-09-28 | Paper |
Some Completeness Results for Propositional Conditional Logics | 1995-05-28 | Paper |
Local and global metrics for the semantics of counterfactual conditionals | 1994-12-21 | Paper |
Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions | 1994-03-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4282550 | 1994-03-17 | Paper |
Some Results on Classical Preferential Models | 1993-08-23 | Paper |
Theory revision and probability | 1992-06-28 | Paper |
Results on the generic Kurepa hypothesis | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3797177 | 1987-01-01 | Paper |