Belief revision in Horn theories
From MaRDI portal
Publication:2512985
DOI10.1016/j.artint.2014.08.006zbMath1322.68192OpenAlexW2156474728MaRDI QIDQ2512985
James P. 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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (13)
Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Contraction in propositional logic ⋮ Belief Update Within Propositional Fragments ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Toward credible belief base revision ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ An investigation of parametrized difference revision operators ⋮ Unnamed Item ⋮ Characterizability in Horn Belief Revision
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief revision within fragments of propositional logic
- Two modellings for theory change
- Propositional knowledge base revision and minimal change
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- On the logic of iterated belief revision
- Iterated revision and minimal change of conditional beliefs
- Inter-definability of Horn contraction and Horn revision
- Horn Clause Contraction Functions
- Entrenchment-Based Horn Contraction
- On the logic of theory change: Partial meet contraction and revision functions
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Knowledge compilation and theory approximation
- Horn Contraction via Epistemic Entrenchment
- Compilability and compact representations of revision of Horn knowledge bases
This page was built for publication: Belief revision in Horn theories