Belief Update Within Propositional Fragments
From MaRDI portal
Publication:3451174
DOI10.1007/978-3-319-20807-7_15zbMATH Open1465.68237OpenAlexW1801043000MaRDI QIDQ3451174
Raida Ktari, Odile Papini, Nadia Creignou
Publication date: 10 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20807-7_15
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the logic of theory change: Partial meet contraction and revision functions
- The complexity of satisfiability problems
- Propositional knowledge base revision and minimal change
- Propositional belief base update and minimal change
- On sentences which are true of direct unions of algebras
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Semantical and computational aspects of Horn approximations
- Belief revision within fragments of propositional logic
- Prime implicates and relevant belief revision
- Belief revision and update: Complexity of model checking
- A Unified View of Belief Revision and Update
- A unified model of qualitative belief change: a dynamical systems perspective
- Belief revision in Horn theories
- Horn clause contraction functions
- Entrenchment-based Horn contraction
- Inter-definability of Horn contraction and Horn revision
- Merging in the Horn Fragment
Cited In (4)
This page was built for publication: Belief Update Within Propositional Fragments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3451174)