Belief revision in Horn theories
From MaRDI portal
Publication:2512985
DOI10.1016/J.ARTINT.2014.08.006zbMATH Open1322.68192OpenAlexW2156474728MaRDI QIDQ2512985
James Delgrande, Pavlos Peppas
Publication date: 2 February 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2014.08.006
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?)
- Two modellings for theory change
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge compilation and theory approximation
- Propositional knowledge base revision and minimal change
- On the logic of iterated belief revision
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Belief revision within fragments of propositional logic
- Compilability and compact representations of revision of Horn knowledge bases
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Iterated revision and minimal change of conditional beliefs
- Horn Contraction via Epistemic Entrenchment
- Horn clause contraction functions
- Entrenchment-based Horn contraction
- Inter-definability of Horn contraction and Horn revision
Cited In (14)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Belief Update Within Propositional Fragments
- Title not available (Why is that?)
- Main issues in belief revision, belief merging and information fusion
- Contraction in propositional logic
- An investigation of parametrized difference revision operators
- Toward credible belief base revision
- Belief Merging within Fragments of Propositional Logic
- Inter-definability of Horn contraction and Horn revision
- Characterizability in Horn Belief Revision
- Morphologic for knowledge dynamics: revision, fusion and abduction
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
- An extension-based approach to belief revision in abstract argumentation
- Merging in the Horn Fragment
This page was built for publication: Belief revision in Horn theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2512985)
