Characterizability in Horn belief revision

DOI10.1007/978-3-319-48758-8_32MaRDI QIDQ2835894zbMATH OpenOpenAlexFDO

Authors Jon Yaggie, Gy. Turán

Publication date 30 November 2016

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-48758-8_32

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Belief revision in Horn theories
• A local meshless collocation method for solving certain inverse problems
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Choice revision
• Inter-definability of Horn contraction and Horn revision

Cites work

• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• Belief revision in Horn theories
• Characterizability in Horn belief revision
• Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
• Distance semantics for belief revision
• Finite Model Theory
• Horn clause contraction functions
• Horn contraction via epistemic entrenchment
• Inter-definability of Horn contraction and Horn revision
• Merging in the Horn fragment
• On sentences which are true of direct unions of algebras
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change
• Reachability is harder for directed than for undirected finite graphs
• The decision problem for some classes of sentences without quantifiers

Cited in

(4)

• Belief revision in Horn theories
• Characterizability in Horn belief revision
• Inter-definability of Horn contraction and Horn revision
• A local meshless collocation method for solving certain inverse problems

This page was built for publication: Characterizability in Horn belief revision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835894)