- A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.details
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
On principle-based evaluation of extension-based argumentation semantics.Pietro Baroni & Massimiliano Giacomin - 2007 - Artificial Intelligence 171 (10-15):675-700.details
|
|
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.details
|
|
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.details
|
|
Nonmonotonic inference based on expectations.Peter Gärdenfors & David Makinson - 1994 - Artificial Intelligence 65 (2):197-245.details
|
|
Alternative approaches to default logic.James P. Delgrande, Torsten Schaub & W. Ken Jackson - 1994 - Artificial Intelligence 70 (1-2):167-237.details
|
|
From statistical knowledge bases to degrees of belief.Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Artificial Intelligence 87 (1-2):75-143.details
|
|
Is intractability of nonmonotonic reasoning a real drawback?Marco Cadoli, Francesco M. Donini & Marco Schaerf - 1996 - Artificial Intelligence 88 (1-2):215-251.details
|
|
Lattice-theoretic models of conjectures, hypotheses and consequences.Mingsheng Ying & Huaiqing Wang - 2002 - Artificial Intelligence 139 (2):253-267.details
|
|
Measures of uncertainty in expert systems.Peter Walley - 1996 - Artificial Intelligence 83 (1):1-58.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
A modal logic for subjective default reasoning.Shai Ben-David & Rachel Ben-Eliyahu-Zohary - 2000 - Artificial Intelligence 116 (1-2):217-236.details
|
|
Lexicographic priorities in default logic.Jussi Rintanen - 1998 - Artificial Intelligence 106 (2):221-265.details
|
|
Rectifying the Mischaracterization of Logic by Mental Model Theorists.Selmer Bringsjord & Naveen Sundar Govindarajulu - 2020 - Cognitive Science 44 (12):e12898.details
|
|
Misleading higher-order evidence, conflicting ideals, and defeasible logic.Aleks Https://Orcidorg Knoks - 2020 - Ergo: An Open Access Journal of Philosophy 8:141--74.details
|
|
Counterpossibles and Normal Defaults in the Filioque Controversy.Jacob Archambault - 2019 - Logica Universalis 13 (4):443-455.details
|
|
(1 other version)An arugmentation framework for contested cases of statutory interpertation.Douglas Walton, Giovanni Sartor & Fabrizio Macagno - 2016 - Artificial Intelligence and Law 24 (1):51-91.details
|
|
Reward versus risk in uncertain inference: Theorems and simulations.Gerhard Schurz & Paul D. Thorn - 2012 - Review of Symbolic Logic 5 (4):574-612.details
|
|
Extended Hierarchical Censored Production Rules (EHCPRs) System: An Approach Toward Generalized Knowledge Representation.N. K. Jain, K. K. Bharadwaj & Norian Marranghello - 1999 - Journal of Intelligent Systems 9 (3-4):259-295.details
|
|
Applied Logic without Psychologism.Gregory Wheeler - 2008 - Studia Logica 88 (1):137-156.details
|
|
Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.details
|
|
Dynamic Thoughts on Ifs and Oughts.Malte Willer - 2014 - Philosophers' Imprint 14:1-30.details
|
|
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.details
|
|
European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.details
|
|
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers.Alejandro J. García & Guillermo R. Simari - 2014 - Argument and Computation 5 (1):63-88.details
|
|
Parainconsistency of credibility-based belief states.Anna Gomolińska - 2001 - Logic and Logical Philosophy 9:183.details
|
|
What we know and the LTKB.Stanley Munsat - 1993 - Behavioral and Brain Sciences 16 (3):466-467.details
|
|
Useful ideas for exploiting time to engineer representations.Richard Rohwer - 1993 - Behavioral and Brain Sciences 16 (3):471-471.details
|
|
Time phases, pointers, rules and embedding.John A. Barnden - 1993 - Behavioral and Brain Sciences 16 (3):451-452.details
|
|
How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.details
|
|
Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.details
|
|
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.details
|
|
(2 other versions)Burden of Proof in a Modified Hamblin Dialogue System.Douglas Walton - 2011 - Informal Logic 31 (4):279-304.details
|
|
An Inductive Modal Approach for the Logic of Epistemic Inconsistency.Ricardo Silvestre - 2010 - Abstracta 6 (1):136-155.details
|
|
Some considerations on the logics PFD A logic combining modality and probability.Wiebe van der Hoeck - 1997 - Journal of Applied Non-Classical Logics 7 (3):287-307.details
|
|
Semantics and Pragmatics of Locative Expressions.Annette Herskovits - 1985 - Cognitive Science 9 (3):341-378.details
|
|
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.details
|
|
Graded Causation and Defaults.Joseph Y. Halpern & Christopher Hitchcock - 2015 - British Journal for the Philosophy of Science 66 (2):413-457.details
|
|
Dispositions, conditionals and auspicious circumstances.Justin C. Fisher - 2013 - Philosophical Studies 164 (2):443-464.details
|
|
Logic and Reality. [REVIEW]Christopher Menzel - 2000 - Philosophical Review 109 (2):281-286.details
|
|
The Three Faces of Defeasibility in the Law.Henry Prakken & Giovanni Sartor - 2004 - Ratio Juris 17 (1):118-139.details
|
|
Defeasible reasoning and informal fallacies.Douglas Walton - 2011 - Synthese 179 (3):377 - 407.details
|
|
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.details
|
|
Well-founded semantics for defeasible logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.details
|
|
Précis of bayesian rationality: The probabilistic approach to human reasoning.Mike Oaksford & Nick Chater - 2009 - Behavioral and Brain Sciences 32 (1):69-84.details
|
|
Default logic as dynamic doxastic logic.Krister Segerberg - 1999 - Erkenntnis 50 (2-3):333-352.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
|
|
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.details
|
|
Linear, branching time and joint closure semantics for temporal logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.details
|
|