Belief revision in Horn theories
From MaRDI portal
Publication:2512985
DOI10.1016/J.ARTINT.2014.08.006zbMATH Open1322.68192OpenAlexW2156474728MaRDI QIDQ2512985FDOQ2512985
Authors: 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
Recommendations
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Two modellings for theory change
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge in flux. Modeling the dynamics of epistemic states
- Knowledge compilation and theory approximation
- Handbook of knowledge representation.
- Propositional knowledge base revision and minimal change
- On the logic of iterated belief revision
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Horn contraction via epistemic entrenchment
- Horn clause contraction functions
- Entrenchment-based Horn contraction
- Inter-definability of Horn contraction and Horn revision
Cited In (18)
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Compilability and compact representations of revision of Horn knowledge bases
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Merging in the Horn fragment
- Characterizability in Horn belief revision
- Horn clause contraction functions
- Main issues in belief revision, belief merging and information fusion
- Contraction in propositional logic
- Preference-based belief revision for rule-based agents
- An investigation of parametrized difference revision operators
- Toward credible belief base revision
- Inter-definability of Horn contraction and Horn revision
- Morphologic for knowledge dynamics: revision, fusion and abduction
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
- Strengthening parametrized-difference belief revision
- Belief merging within fragments of propositional logic
- An extension-based approach to belief revision in abstract argumentation
- Belief update within propositional fragments
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)
