- Square of opposition under coherence.Niki Pfeifer & Giuseppe Sanfilippo - 2017 - In M. B. Ferraro, P. Giordani, B. Vantaggi, M. Gagolewski, P. Grzegorzewski, O. Hryniewicz & María Ángeles Gil (eds.), Soft Methods for Data Science. pp. 407-414.details
|
|
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators.Jake Chandler & Richard Booth - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 210-219.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Inter-Definability of Horn Contraction and Horn Revision.Zhiqiang Zhuang, Maurice Pagnucco & Yan Zhang - 2017 - Journal of Philosophical Logic 46 (3):299-332.details
|
|
X Latin American Symposium on Mathematical Logic.Xavier Caicedo - 1996 - Bulletin of Symbolic Logic 2 (2):214-237.details
|
|
Handling inconsistency in knowledge systems.Gerd Wagner - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):7-12.details
|
|
Violation games: a new foundation for deontic logic ★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.details
|
|
Intention as commitment toward time.Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard & Eric Pacuit - 2020 - Artificial Intelligence 283 (C):103270.details
|
|
Foreword.Hans Van Ditmarsch & Andreas Herzig - 2007 - Journal of Applied Non-Classical Logics 17 (2):125-128.details
|
|
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches.Alvaro del Val - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):213-240.details
|
|
On the revision of informant credibility orders.Luciano H. Tamargo, Alejandro J. García, Marcelo A. Falappa & Guillermo R. Simari - 2014 - Artificial Intelligence 212 (C):36-58.details
|
|
A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.details
|
|
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.details
|
|
Counterfactuals and updates as inverse modalities.Mark Ryan & Pierre-Yves Schobbens - 1997 - Journal of Logic, Language and Information 6 (2):123-146.details
|
|
Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM.Hans Rott - 2011 - Journal of Philosophical Logic 40 (2):155-191.details
|
|
Preservation and Postulation: Lessons from the New Debate on the Ramsey Test.Hans Rott - 2017 - Mind 126 (502):609–626.details
|
|
Coherence and Conservatism in the Dynamics of Belief Part I: Finding the right framework.Hans Rott - 1999 - Erkenntnis 50 (2-3):387-412.details
|
|
Belief Contraction in the Context of the General Theory of Rational Choice.Hans Rott - 1993 - Journal of Symbolic Logic 59 (4):1426-1450.details
|
|
A System of Dynamic Modal Logic.Maarten Rijkdee - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.details
|
|
Relevance in belief revision.Pavlos Peppas, Mary-Anne Williams, Samir Chopra & Norman Foo - 2015 - Artificial Intelligence 229 (C):126-138.details
|
|
Revision operators with compact representations.Pavlos Peppas, Mary-Anne Williams & Grigoris Antoniou - 2024 - Artificial Intelligence 329 (C):104080.details
|
|
Constructive Modelings for Theory Change.Pavlos Peppas & Mary-Anne Williams - 1995 - Notre Dame Journal of Formal Logic 36 (1):120-133.details
|
|
Revising Beliefs Towards the Truth.Ilkka Niiniluoto - 2011 - Erkenntnis 75 (2):165-181.details
|
|
A Simple Nonmonotonic Logic as a Model of Belief Change.Masaharu Mizumoto - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):25-52.details
|
|
Systematic withdrawal.Thomas Meyer, Johannes Heidema, Willem Labuschagne & Louise Leenen - 2002 - Journal of Philosophical Logic 31 (5):415-443.details
|
|
On the semantics of combination operations.Thomas Meyer - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):59-84.details
|
|
Infobase change: A first approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.details
|
|
Belief Fusion: Aggregating Pedigreed Belief States. [REVIEW]Pedrito Maynard-Reid II & Yoav Shoham - 2001 - Journal of Logic, Language and Information 10 (2):183-209.details
|
|
Lost in translation: Language independence in propositional logic – application to belief change.Pierre Marquis & Nicolas Schwind - 2014 - Artificial Intelligence 206 (C):1-24.details
|
|
Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.details
|
|
Abductive consequence relations.Jorge Lobo & Carlos Uzcátegui - 1997 - Artificial Intelligence 89 (1-2):149-171.details
|
|
Integration of weighted knowledge bases.Jinxin Lin - 1996 - Artificial Intelligence 83 (2):363-378.details
|
|
The complexity of belief update.Paolo Liberatore - 2000 - Artificial Intelligence 119 (1-2):141-190.details
|
|
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.details
|
|
Reducing belief revision to circumscription.Paolo Liberatore & Marco Schaerf - 1997 - Artificial Intelligence 93 (1-2):261-296.details
|
|
Belief merging in absence of reliability information.Paolo Liberatore - 2022 - Synthese 200 (4):1-42.details
|
|
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.details
|
|
Belief fusion and revision: an overview based on epistemic logic semantics.Churn-Jung Liau - 2004 - Journal of Applied Non-Classical Logics 14 (3):247-274.details
|
|
Mighty Belief Revision.Stephan Krämer - 2022 - Journal of Philosophical Logic 51 (5):1175-1213.details
|
|
Reaching agreements through argumentation: a logical model and implementation.Sarit Kraus, Katia Sycara & Amir Evenchik - 1998 - Artificial Intelligence 104 (1-2):1-69.details
|
|
Logic Based Merging.Sébastien Konieczny & Ramón Pino Pérez - 2011 - Journal of Philosophical Logic 40 (2):239-270.details
|
|
Belief base merging as a game.Sébastien Konieczny - 2004 - Journal of Applied Non-Classical Logics 14 (3):275-294.details
|
|
A framework for iterated revision.Sébastien Konieczny & Ramón Pino Pérez - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):339-367.details
|
|
Conditional indifference and conditional preservation.Gabriele Kern-Isberner - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):85-106.details
|
|
Iterated belief revision, reliability, and inductive amnesia.Kevin T. Kelly - 1999 - Erkenntnis 50 (1):11-58.details
|
|
Iterated belief revision, revised.Yi Jin & Michael Thielscher - 2007 - Artificial Intelligence 171 (1):1-18.details
|
|
ALX, an action logic for agents with bounded rationality.Zhisheng Huang, Michael Masuch & László Pólos - 1996 - Artificial Intelligence 82 (1-2):75-127.details
|
|
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba & Matthias Thimm - 2023 - Artificial Intelligence 317 (C):103876.details
|
|
Propositional belief base update and minimal change.Andreas Herzig & Omar Rifi - 1999 - Artificial Intelligence 115 (1):107-138.details
|
|