Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics

, , &
Artificial Intelligence 256 (C):160-180 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.12.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Revision of Spatial Information by Containment.Omar Doukari, Robert Jeansoulin & Eric Würbel - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 939--944.
Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
A power algebra for theory change.K. Britz - 1999 - Journal of Logic, Language and Information 8 (4):429-443.
A non-classical logical foundation for naturalised realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. College Publications. pp. 249-266.
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.John Grant, Francesco Parisi, Austin Parker & V. S. Subrahmanian - 2010 - Artificial Intelligence 174 (1):72-104.
Logics for Artificial Intelligence.Raymond Turner - 1984 - New York, NY, USA: Ellis Horwood.
Temporal belief logics for modelling distributed artificial intelligence systems.Michael Wooldridge - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 269--286.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Interrogative Belief Revision.Sebastian Enqvist - 2011 - Dissertation, Lund University
A general theory of structured consequence relations.Dov M. Gabbay - 1995 - Theoria 10 (2):49-78.

Analytics

Added to PP
2020-12-22

Downloads
18 (#859,738)

6 months
10 (#308,654)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.

Add more citations

References found in this work

The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

View all 13 references / Add more references