- Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.details
|
|
Conservative augmentation of classical theories.J. D. Mackenzie - 1986 - Australasian Journal of Philosophy 64 (2):150 – 157.details
|
|
On nonmonotonic reasoning with the method of sweeping presumptions.Steven O. Kimbrough & Hua Hua - 1991 - Minds and Machines 1 (4):393-416.details
|
|
Defeasible reasoning and logic programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.details
|
|
A neurosymbolic cognitive architecture framework for handling novelties in open worlds.Shivam Goel, Panagiotis Lymperopoulos, Ravenna Thielstrom, Evan Krause, Patrick Feeney, Pierrick Lorang, Sarah Schneider, Yichen Wei, Eric Kildebeck, Stephen Goss, Michael C. Hughes, Liping Liu, Jivko Sinapov & Matthias Scheutz - 2024 - Artificial Intelligence 331 (C):104111.details
|
|
Non-Monotonic Reasoning in Medieval Theology: Problems and Assumptions.Marcin Trepczyński - 2022 - Studia Humana 11 (3-4):53-66.details
|
|
Grounded fixpoints and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2015 - Artificial Intelligence 224 (C):51-71.details
|
|
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.details
|
|
From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.details
|
|
Of Hubert Dreyfus and dead horses: some thoughts on Dreyfus' What Computers Still Can't Do.Timothy Koschmann - 1996 - Artificial Intelligence 80 (1):129-141.details
|
|
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.details
|
|
Variable precision logic.Ryszard S. Michalski & Patrick H. Winston - 1986 - Artificial Intelligence 29 (2):121-146.details
|
|
A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.details
|
|
On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.details
|
|
The effect of knowledge on belief.David Poole - 1991 - Artificial Intelligence 49 (1-3):281-307.details
|
|
A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.details
|
|
Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.details
|
|
Minimal knowledge problem: A new approach.Grigori Schwarz & Mirosław Truszczyński - 1994 - Artificial Intelligence 67 (1):113-141.details
|
|
Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.details
|
|
Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.details
|
|
From environments to representations—a mathematical theory of artificial perceptions.Z. Arzi-Gonczarowski & D. Lehmann - 1998 - Artificial Intelligence 102 (2):187-247.details
|
|
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.details
|
|
On decision-theoretic foundations for defaults.Ronen I. Brafman & Nir Friedman - 2001 - Artificial Intelligence 133 (1-2):1-33.details
|
|
Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.details
|
|
Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscriptdetails
|
|
From the History of Science to the History of Knowledge - and Back.Jürgen Renn - 2015 - Centaurus 57 (1):37-53.details
|
|
(1 other version)Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.details
|
|
(1 other version)Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):455-470.details
|
|
Review of Ernest Davis: Representations of Commonsense Knowledge. [REVIEW]Barry Smith - 1994 - Minds and Machines 4 (2):245-249.details
|
|
1995 European Summer Meeting of the Association for Symbolic Logic.Johann A. Makowsky - 1997 - Bulletin of Symbolic Logic 3 (1):73-147.details
|
|
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.details
|
|
Nonmonotonic Reasoning and Causation.Yoav Shoham - 1990 - Cognitive Science 14 (2):213-252.details
|
|
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.details
|
|
Toward a cognitive psychology of science.Barry Gholson & Arthur Houts - 1989 - Social Epistemology 3 (2):107 – 127.details
|
|
What should default reasoning be, by default?Jeff Pelletier - unknowndetails
|
|
A two-level system of knowledge representation based on evidential probability.Henry E. Kyburg - 1991 - Philosophical Studies 64 (1):105 - 114.details
|
|
Is logicist cognitive science possible?Alan Garnham - 1993 - Mind and Language 8 (1):49-71.details
|
|
(1 other version)A social contract account for CSR as an extended model of corporate governance (II): Compliance, reputation and reciprocity. [REVIEW]Lorenzo Sacconi - 2007 - Journal of Business Ethics 75 (1):77 - 96.details
|
|
(1 other version)A Social Contract Account for CSR as an Extended Model of Corporate Governance : Compliance, Reputation and Reciprocity.Lorenzo Sacconi - 2007 - Journal of Business Ethics 75 (1):77-96.details
|
|
Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.details
|
|
The theory of nomic probability.John L. Pollock - 1992 - Synthese 90 (2):263 - 299.details
|
|
Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.details
|
|
On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.details
|
|
Inheritance comes of age: applying nonmonotonic techniques to problems in industry.Leora Morgenstern - 1998 - Artificial Intelligence 103 (1-2):237-271.details
|
|
Heuristics, justification, and defeasible reasoning.Timothy R. Colburn - 1995 - Minds and Machines 5 (4):467-487.details
|
|
Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.details
|
|
Assumptions, beliefs and probabilities.Kathryn Blackmond Laskey & Paul E. Lehner - 1989 - Artificial Intelligence 41 (1):65-77.details
|
|
Nonmonotonicity in (the metamathematics of) arithmetic.Karl-Georg Niebergall - 1999 - Erkenntnis 50 (2-3):309-332.details
|
|
On the relation between default and modal nonmonotonic reasoning.Alexander Bochman - 1998 - Artificial Intelligence 101 (1-2):1-34.details
|
|
Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.details
|
|