- Abductive inference in defeasible reasoning: a model for research programmes.Claudio Delrieux - 2004 - Journal of Applied Logic 2 (4):409-437.details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.details
|
|
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.details
|
|
Why It Is Time To Move Beyond Nagelian Reduction.Marie I. Kaiser - 2012 - In D. Dieks, S. Hartmann, T. Uebel & M. Weber (eds.), Probabilities, Laws and Structure. Springer. pp. 255-272.details
|
|
A Resource-bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.details
|
|
On prediction in theorist.Michael Thielscher - 1993 - Artificial Intelligence 60 (2):283-292.details
|
|
On cumulative default logics.Laura Giordano & Alberto Martelli - 1994 - Artificial Intelligence 66 (1):161-179.details
|
|
Cumulative default logic: Finite characterization, algorithms, and complexity.Georg Gottlob & Mingyi Zhang - 1994 - Artificial Intelligence 69 (1-2):329-345.details
|
|
Nonmonotonic reasoning by inhibition nets☆☆This paper has been supported by the Austrian Research Fund FWF (SFB F012).Hannes Leitgeb - 2001 - Artificial Intelligence 128 (1-2):161-201.details
|
|
Alternative foundations for Reiter's default logic.Thomas Linke & Torsten Schaub - 2000 - Artificial Intelligence 124 (1):31-86.details
|
|
Must Good Reasoning Satisfy Cumulative Transitivity?Shyam Nair - 2017 - Philosophy and Phenomenological Research 98 (1):123-146.details
|
|
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.details
|
|
Order independent and persistent typed default unification.Alex Lascarides, Ted Briscoe, Nicholas Asher & Ann Copestake - 1996 - Linguistics and Philosophy 19 (1):1 - 90.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
An axiomatic analysis of structured argumentation with priorities.Phan Minh Dung - 2016 - Artificial Intelligence 231 (C):107-150.details
|
|
Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.details
|
|
The Place of Logic in Reasoning.Daniel Kayser - 2010 - Logica Universalis 4 (2):225-239.details
|
|
A logic for reasoning with inconsistent knowledge.Nico Roos - 1992 - Artificial Intelligence 57 (1):69-103.details
|
|
Recovery of (non)monotonic theories.Cees Witteveen & Wiebe van der Hoek - 1998 - Artificial Intelligence 106 (1):139-159.details
|
|
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.details
|
|
Information, Interaction, and Agency.Wiebe van der Hoek (ed.) - 2005 - Dordrecht, Netherland: Springer.details
|
|
From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.details
|
|
Reasoning by cases in default logic.Nico Roos - 1998 - Artificial Intelligence 99 (1):165-183.details
|
|
Artificial nonmonotonic neural networks.B. Boutsinas & M. N. Vrahatis - 2001 - Artificial Intelligence 132 (1):1-38.details
|
|
Compiling specificity into approaches to nonmonotonic reasoning.James P. Delgrande & Torsten H. Schaub - 1997 - Artificial Intelligence 90 (1-2):301-348.details
|
|
A counterexample to six fundamental principles of belief formation.Hans Rott - 2004 - Synthese 139 (2):225 - 240.details
|
|
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.details
|
|
Alternative approaches to default logic.James P. Delgrande, Torsten Schaub & W. Ken Jackson - 1994 - Artificial Intelligence 70 (1-2):167-237.details
|
|
An argument-based approach to reasoning with specificity.Phan Minh Dung & Tran Cao Son - 2001 - Artificial Intelligence 133 (1-2):35-85.details
|
|