- Prima facie and seeming duties.Michael Morreau - 1996 - Studia Logica 57 (1):47 - 71.details
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
Inheritance comes of age: applying nonmonotonic techniques to problems in industry.Leora Morgenstern - 1998 - Artificial Intelligence 103 (1-2):237-271.details
|
|
Note about cardinality-based circumscription.Yves Moinard - 2000 - Artificial Intelligence 119 (1-2):259-273.details
|
|
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.details
|
|
From here to human-level AI.John McCarthy - 2007 - Artificial Intelligence 171 (18):1174-1182.details
|
|
From Alan Turing to modern AI: practical solutions and an implicit epistemic stance.George F. Luger & Chayan Chakrabarti - 2017 - AI and Society 32 (3):321-338.details
|
|
From answer set logic programming to circumscription via logic of GK.Fangzhen Lin & Yi Zhou - 2011 - Artificial Intelligence 175 (1):264-277.details
|
|
A semantic approach to nonmonotonic reasoning: Inference operations and choice.Sten Lindström - 2022 - Theoria 88 (3):494-528.details
|
|
A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.details
|
|
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.details
|
|
Miracles in formal theories of action.Vladimir Lifschitz & Arkady Rabinov - 1989 - Artificial Intelligence 38 (2):225-237.details
|
|
M. Shanahan, Solving the Frame Problem☆☆MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. [REVIEW]Vladimir Lifschitz - 2000 - Artificial Intelligence 123 (1-2):265-268.details
|
|
Nested abnormality theories.Vladimir Lifschitz - 1995 - Artificial Intelligence 74 (2):351-365.details
|
|
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.details
|
|
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.details
|
|
Functional completion.Vladimir Lifschitz & Fangkai Yang - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):121-130.details
|
|
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.details
|
|
Abstract minimality and circumscription.Churn Jung Liau & Bertrand I.-Peng Lin - 1992 - Artificial Intelligence 54 (3):381-396.details
|
|
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.details
|
|
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.details
|
|
Loop formulas for circumscription.Joohyung Lee & Fangzhen Lin - 2006 - Artificial Intelligence 170 (2):160-185.details
|
|
A two-level system of knowledge representation based on evidential probability.Henry E. Kyburg - 1991 - Philosophical Studies 64 (1):105 - 114.details
|
|
Obligation as Optimal Goal Satisfaction.Robert Kowalski & Ken Satoh - 2018 - Journal of Philosophical Logic 47 (4):579-609.details
|
|
The Place of Logic in Reasoning.Daniel Kayser - 2010 - Logica Universalis 4 (2):225-239.details
|
|
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.details
|
|
Two counterexamples related to Baker's approach to the frame problem.G. Neelakantan Kartha - 1994 - Artificial Intelligence 69 (1-2):379-391.details
|
|
Between constructive mathematics and PROLOG.Gerhard Jäger - 1991 - Archive for Mathematical Logic 30 (5-6):297-310.details
|
|
Evaluating the effect of semi-normality on the expressiveness of defaults.Tomi Janhunen - 2003 - Artificial Intelligence 144 (1-2):233-250.details
|
|
Reconsideration of circumscriptive induction with pointwise circumscription.Koji Iwanuma, Katsumi Inoue & Hidetomo Nabeshima - 2009 - Journal of Applied Logic 7 (3):307-317.details
|
|
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.details
|
|
Idempotent Variations on the Theme of Exclusive Disjunction.L. Humberstone - 2021 - Studia Logica 110 (1):121-163.details
|
|
A theory of measurement in diagnosis from first principles.Aimin Hou - 1994 - Artificial Intelligence 65 (2):281-328.details
|
|
Open Information Systems Semantics for distributed artificial intelligence.Carl Hewitt - 1991 - Artificial Intelligence 47 (1-3):79-106.details
|
|
Modeling a dynamic and uncertain world I.Steve Hanks & Drew McDermott - 1994 - Artificial Intelligence 66 (1):1-55.details
|
|
Incremental Neural Network Training with an Increasing Input Dimension.Sheng-Uei Guan & Jun Liu - 2004 - Journal of Intelligent Systems 13 (1):71-94.details
|
|
Defeasibility and Inferential Particularism.Javier González de Prado Salas - 2017 - International Journal of Philosophical Studies 25 (1):80-98.details
|
|
Qualitative probabilities for default reasoning, belief revision, and causal modeling.Moisés Goldszmidt & Judea Pearl - 1996 - Artificial Intelligence 84 (1-2):57-112.details
|
|
On the consistency of defeasible databases.Moisés Goldszmidt & Judea Pearl - 1991 - Artificial Intelligence 52 (2):121-149.details
|
|
Representing action: indeterminacy and ramifications.Enrico Giunchiglia, G. Neelakantan Kartha & Vladimir Lifschitz - 1997 - Artificial Intelligence 95 (2):409-438.details
|
|
An epistemological science of common sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.details
|
|
A non-monotonic Description Logic for reasoning about typicality.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2013 - Artificial Intelligence 195 (C):165-202.details
|
|
Reasoning about action II.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (3):311-342.details
|
|
Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.details
|
|
Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.details
|
|
A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.details
|
|
On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.details
|
|
Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.details
|
|
Conditional entailment: Bridging two approaches to default reasoning.Hector Geffner & Judea Pearl - 1992 - Artificial Intelligence 53 (2-3):209-244.details
|
|
Semantic interpolation.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Applied Non-Classical Logics 20 (4):345-371.details
|
|