- Modelling ethical rules of lying with answer set programming.Jean-Gabriel Ganascia - 2007 - Ethics and Information Technology 9 (1):39-47.details
|
|
Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.details
|
|
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.details
|
|
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics.Jorge A. Morales & Mauricio Molina Delgado - 2016 - Journal of Applied Non-Classical Logics 26 (4):315-335.details
|
|
Henry Prakken, logical tools for modelling legal argument: A study of defeasible reasoning in law. [REVIEW]L. M. M. Royakkers - 2000 - Journal of Logic, Language and Information 9 (3):379-387.details
|
|
Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.details
|
|
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.details
|
|
A note on non-monotonic modal logic.Robert Stalnaker - 1993 - Artificial Intelligence 64 (2):183-196.details
|
|
Review of Doyle (2006): Extending Mechanics to Mind: The Mechanical Foundations of Psychology and Economics. [REVIEW]Ephraim Nissan - 2009 - Pragmatics and Cognition 17 (2):491-495.details
|
|
Abstract Argumentation in Artificial Intelligence. Problems of Interpretation and Adequacy of Semantics for Decision Making.Gustavo Adrián Bodanza - unknowndetails
|
|
A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.details
|
|
Logic programs, well-orderings and forward chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.details
|
|
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.details
|
|
A logic to reason about likelihood.Joseph Y. Halpern & Michael O. Rabin - 1987 - Artificial Intelligence 32 (3):379-405.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
A context for belief revision: forward chaining-normal nonmonotomic rule systems.V. W. Marek, A. Nerode & J. B. Remmel - 1994 - Annals of Pure and Applied Logic 67 (1-3):269-323.details
|
|
Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.details
|
|
Gelfond–Zhang aggregates as propositional formulas.Pedro Cabalar, Jorge Fandinno, Torsten Schaub & Sebastian Schellhorn - 2019 - Artificial Intelligence 274 (C):26-43.details
|
|
An approach to default reasoning based on a first-order conditional logic: Revised report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.details
|
|
Parallel Theories and Routine Revision in First-Order Logic.Gerold Stahl - 1987 - Mathematical Logic Quarterly 33 (5):457-459.details
|
|
Two counterexamples related to Baker's approach to the frame problem.G. Neelakantan Kartha - 1994 - Artificial Intelligence 69 (1-2):379-391.details
|
|
An argument-based approach to reasoning with specificity.Phan Minh Dung & Tran Cao Son - 2001 - Artificial Intelligence 133 (1-2):35-85.details
|
|
Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.details
|
|
Impediments to universal preference-based default theories.Jon Doyle & Michael P. Wellman - 1991 - Artificial Intelligence 49 (1-3):97-128.details
|
|
The complexity of predicate default logic over a countable domain.Robert Saxon Milnikel - 2003 - Annals of Pure and Applied Logic 120 (1-3):151-163.details
|
|
In search of a “true” logic of knowledge: the nonmonotonic perspective.Grigori Schwarz - 1995 - Artificial Intelligence 79 (1):39-63.details
|
|
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.details
|
|