- Reasoning credulously and skeptically within a single extension.James P. Delgrande & Torsten Schaub - 2002 - Journal of Applied Non-Classical Logics 12 (2):259-285.details
|
|
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.details
|
|
Expressing preferences in default logic.James P. Delgrande & Torsten Schaub - 2000 - Artificial Intelligence 123 (1-2):41-87.details
|
|
Compiling specificity into approaches to nonmonotonic reasoning.James P. Delgrande & Torsten H. Schaub - 1997 - Artificial Intelligence 90 (1-2):301-348.details
|
|
A formal analysis of relevance.James P. Delgrande & Francis Jeffry Pelletier - 1998 - Erkenntnis 49 (2):137-173.details
|
|
Eliminating the fixed predicates from a circumscription.Johan de Kleer & Kurt Konolige - 1989 - Artificial Intelligence 39 (3):391-398.details
|
|
Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.details
|
|
Learning to plan in continuous domains.Gerald F. DeJong - 1994 - Artificial Intelligence 65 (1):71-141.details
|
|
The expressive power of circumscription.Tom Costello - 1998 - Artificial Intelligence 104 (1-2):313-329.details
|
|
The epistemic basis of defeasible reasoning.Robert L. Causey - 1991 - Minds and Machines 1 (4):437-458.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
|
|
An efficient method for eliminating varying predicates from a circumscription.Marco Cadoli, Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 54 (3):397-410.details
|
|
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.details
|
|
Qualitative choice logic.Gerhard Brewka, Salem Benferhat & Daniel Le Berre - 2004 - Artificial Intelligence 157 (1-2):203-237.details
|
|
A general framework for preferences in answer set programming.Gerhard Brewka, James Delgrande, Javier Romero & Torsten Schaub - 2023 - Artificial Intelligence 325 (C):104023.details
|
|
Unifying default reasoning and belief revision in a modal framework.Craig Boutilier - 1994 - Artificial Intelligence 68 (1):33-85.details
|
|
Épistémologie et intelligence artificielle.Yves Bouchard - 2020 - In André Lacroix (ed.), La philosophie pratique. Les Presses de l’Université de Laval. pp. 109-127.details
|
|
Explaining default intuitions using maximum entropy.Rachel A. Bourne - 2003 - Journal of Applied Logic 1 (3-4):255-271.details
|
|
On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.details
|
|
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.details
|
|
The importance of open and recursive circumscription.Philippe Besnard, Yves Moinard & Robert E. Mercer - 1989 - Artificial Intelligence 39 (2):251-262.details
|
|
Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.details
|
|
An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.details
|
|
Value minimization in circumscription.China Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 102 (2):163-186.details
|
|
Formalizing narratives using nested circumscription.Chitta Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 104 (1-2):107-164.details
|
|
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.details
|
|
Plausible reasoning: a first-order approach.Silvana Badaloni & Alberto Zanardo - 1996 - Journal of Applied Non-Classical Logics 6 (3):215-261.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
|
|
Reasoning with different levels of uncertainty.Ofer Arieli - 2003 - Journal of Applied Non-Classical Logics 13 (3):317-343.details
|
|
A QBF-based formalization of abstract argumentation semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-252.details
|
|
On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.details
|
|
Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.details
|
|
Logic-based subsumption architecture.Eyal Amir & Pedrito Maynard-Zhang - 2004 - Artificial Intelligence 153 (1-2):167-237.details
|
|
The Epistemology of Non-distributive Profiles.Patrick Allo - 2020 - Philosophy and Technology 33 (3):379-409.details
|
|
極小限定を用いた帰納推論.井上 克巳 齋藤 悠 - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:143-152.details
|
|
La philosophie pratique.André Lacroix (ed.) - 2020 - Les Presses de l’Université de Laval.details
|
|
Modeling Deep Disagreement in Default Logic.Frederik J. Andersen - forthcoming - Australasian Journal of Logic.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology.Hai Zhuge - 2011 - Artificial Intelligence 175 (5-6):988-1019.details
|
|
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.details
|
|
Computational complexity of flat and generic Assumption-Based Argumentation, with and without probabilities.Kristijonas Čyras, Quentin Heinrich & Francesca Toni - 2021 - Artificial Intelligence 293 (C):103449.details
|
|
Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.details
|
|
Exceptions to generics: Where vagueness, context dependence and modality interact.Yael Greenberg - 2007 - Journal of Semantics 24 (2):131-167.details
|
|
XIV Latin American Symposium on Mathematical Logic.Itala Maria Loffredo D'Ottaviano - 2009 - Bulletin of Symbolic Logic 15 (3):332-376.details
|
|
A functional perspective on argumentation schemes.Adam Wyner - 2016 - Argument and Computation 7 (2-3):113-133.details
|
|
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.details
|
|
Knowledge of counterfactual interventions through cognitive models of mechanisms.Jonathan Waskan - 2008 - International Studies in the Philosophy of Science 22 (3):259 – 275.details
|
|
Intrinsic cognitive models.Jonathan A. Waskan - 2003 - Cognitive Science 27 (2):259-283.details
|
|
Defeasible reasoning and informal fallacies.Douglas Walton - 2011 - Synthese 179 (3):377 - 407.details
|
|
Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning.Toshiko Wakaki - forthcoming - Argument and Computation:1-45.details
|
|