- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence 57 (2-3):227-270 (1992)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Counterfactuals and updates as inverse modalities.Mark Ryan & Pierre-Yves Schobbens - 1997 - Journal of Logic, Language and Information 6 (2):123-146.
Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
An approximate approach to belief revision.Shangmin Luan, Guozhong Dai & Lorenzo Magnani - 2012 - Logic Journal of the IGPL 20 (2):486-496.
A Universal Approach to Guarantee Data Privacy.Thomas Studer - 2013 - Logica Universalis 7 (2):195-209.
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknown
AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.
AGM Contraction and Revision of Rules.Roland Mühlenbernd, Laurent Perrussel & Emiliano Lorini - 2016 - Journal of Logic, Language and Information 25 (3 - 4):273-297.
On meta complexity of propositional formulas and propositional proofs.Pavel Naumov - 2008 - Archive for Mathematical Logic 47 (1):35-52.
Playing Cards with Hintikka: An introduction to dynamic epistemic logic.H. van Ditmarsch, W. van der Hoek & B. Kooi - 2005 - Australasian Journal of Logic 3:108-134.
Changing Our Mind.Glen Pettigrove - 2016 - In Michael Brady & Miranda Fricker (eds.), The Epistemic Life of Groups: Essays in the Epistemology of Collectives. Oxford: Oxford University Press. pp. 111-129.
The Complexity of Revision, Revised.G. Aldo Antonelli - 2002 - Notre Dame Journal of Formal Logic 43 (2):75-78.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.
On the Difference between Updating a Knowledge Base and Revising it.H. Katsuno & A. O. Mendelzon - 1992 - In Belief Revision. Cambridge University Press. pp. 183-203.
Analytics
Added to PP
2020-12-22
Downloads
18 (#785,610)
6 months
9 (#250,037)
2020-12-22
Downloads
18 (#785,610)
6 months
9 (#250,037)
Historical graph of downloads
Citations of this work
AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
DA2 merging operators.S. Konieczny, J. Lang & P. Marquis - 2004 - Artificial Intelligence 157 (1-2):49-79.
On the complexity of inconsistency measurement.Matthias Thimm & Johannes P. Wallner - 2019 - Artificial Intelligence 275 (C):411-456.
References found in this work
On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo