- Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.details
|
|
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.details
|
|
Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.details
|
|
A note on the rational closure of knowledge bases with both positive and negative knowledge.R. Booth & J. B. Paris - 1998 - Journal of Logic, Language and Information 7 (2):165-190.details
|
|
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.details
|
|
Proof with and without probabilities.Bart Verheij - 2017 - Artificial Intelligence and Law 25 (1):127-154.details
|
|
Distance-based non-deterministic semantics for reasoning with uncertainty.Ofer Arieli & Anna Zamansky - 2009 - Logic Journal of the IGPL 17 (4):325-350.details
|
|
Jumping to Conclusions.Bart Verheij - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 411--423.details
|
|
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.details
|
|
A General Family of Preferential Belief Removal Operators.Richard Booth, Thomas Meyer & Chattrakul Sombattheera - 2012 - Journal of Philosophical Logic 41 (4):711 - 733.details
|
|
Reactive preferential structures and nonmonotonic consequence.Dov M. Gabbay & Karl Schlechta - 2009 - Review of Symbolic Logic 2 (2):414-450.details
|
|
Cumulativity without closure of the domain under finite unions.Dov M. Gabbay & Karl Schlechta - 2008 - Review of Symbolic Logic 1 (3):372-392.details
|
|
Distance semantics for belief revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.details
|
|
Possibilistic reasoning—a mini-survey and uniform semantics.Churn-Jung Liau & Bertrand I.-Peng Lin - 1996 - Artificial Intelligence 88 (1-2):163-193.details
|
|
On the Transitivity of Logical Consequence without Assuming Monotonicity.Lin Chen & Xuefeng Wen - forthcoming - Logica Universalis:1-16.details
|
|
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.Sihem Belabbes & Salem Benferhat - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):561-581.details
|
|
When is argumentation deductive?Henry Prakken - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):212-223.details
|
|
Towards a logic for ‘because’.Eric Raidl & Hans Rott - forthcoming - Philosophical Studies:1-31.details
|
|
A postulate-driven study of logical argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2023 - Artificial Intelligence 322 (C):103966.details
|
|
Defeasible linear temporal logic.Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta & Ivan Varzinczak - 2023 - Journal of Applied Non-Classical Logics 33 (1):1-51.details
|
|
Metasequents and Tetravaluations.Rohan French - 2022 - Journal of Philosophical Logic 51 (6):1453-1476.details
|
|
Choice logics and their computational properties.Michael Bernreiter, Jan Maly & Stefan Woltran - 2022 - Artificial Intelligence 311 (C):103755.details
|
|
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.Ringo Baumann & Hannes Strass - 2022 - Artificial Intelligence 305 (C):103680.details
|
|
Conceptual Learning and Local Incommensurability: A Dynamic Logic Approach.Corina Strößner - 2022 - Axiomathes 32 (6):1025-1045.details
|
|
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner & Steven Kutsch - 2021 - Artificial Intelligence 297 (C):103489.details
|
|
Logic of Convex Order.Chenwei Shi & Yang Sun - 2021 - Studia Logica 109 (5):1019-1047.details
|
|
On rational entailment for Propositional Typicality Logic.Richard Booth, Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2019 - Artificial Intelligence 277 (C):103178.details
|
|
Rational closure for all description logics.P. A. Bonatti - 2019 - Artificial Intelligence 274 (C):197-223.details
|
|
An axiomatic analysis of structured argumentation with priorities.Phan Minh Dung - 2016 - Artificial Intelligence 231 (C):107-150.details
|
|
Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces.Steven Schockaert & Henri Prade - 2013 - Artificial Intelligence 202 (C):86-131.details
|
|
A defeasible reasoning model of inductive concept learning from examples and communication.Santiago Ontañón, Pilar Dellunde, Lluís Godo & Enric Plaza - 2012 - Artificial Intelligence 193 (C):129-148.details
|
|
Preferences in AI: An overview.Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci & Henri Prade - 2011 - Artificial Intelligence 175 (7-8):1037-1052.details
|
|
Interventions and belief change in possibilistic graphical models.Salem Benferhat - 2010 - Artificial Intelligence 174 (2):177-189.details
|
|
From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.details
|
|
Using arguments for making and explaining decisions.Leila Amgoud & Henri Prade - 2009 - Artificial Intelligence 173 (3-4):413-436.details
|
|
On the notion of concept II.Michael Freund - 2009 - Artificial Intelligence 173 (1):167-179.details
|
|
Expressive probabilistic description logics.Thomas Lukasiewicz - 2008 - Artificial Intelligence 172 (6-7):852-883.details
|
|
Weak nonmonotonic probabilistic logics.Thomas Lukasiewicz - 2005 - Artificial Intelligence 168 (1-2):119-161.details
|
|
Combining probabilistic logic programming with the power of maximum entropy.Gabriele Kern-Isberner & Thomas Lukasiewicz - 2004 - Artificial Intelligence 157 (1-2):139-202.details
|
|
A nonmonotonic observation logic.Frans Voorbraak - 2004 - Artificial Intelligence 157 (1-2):281-302.details
|
|
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.details
|
|
Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach.Didier Dubois, Hélène Fargier & Patrice Perny - 2003 - Artificial Intelligence 148 (1-2):219-260.details
|
|
Rationality, transitivity, and contraposition.Michael Freund, Daniel Lehmann & Paul Morris - 1991 - Artificial Intelligence 52 (2):191-203.details
|
|
A logic for reasoning with inconsistent knowledge.Nico Roos - 1992 - Artificial Intelligence 57 (1):69-103.details
|
|
Unifying default reasoning and belief revision in a modal framework.Craig Boutilier - 1994 - Artificial Intelligence 68 (1):33-85.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 by cases in default logic.Nico Roos - 1998 - Artificial Intelligence 99 (1):165-183.details
|
|
Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic.Gerhard Schurz - 1998 - Artificial Intelligence 102 (1):81-95.details
|
|
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.details
|
|
On the relation between default and modal nonmonotonic reasoning.Alexander Bochman - 1998 - Artificial Intelligence 101 (1-2):1-34.details
|
|