Propositional Update Operators Based on Formula/Literal Dependence

DOI10.1145/2499937.2499945zbMath1353.68264OpenAlexW2046433310MaRDI QIDQ2946712

Andreas Herzig, Pierre Marquis, Jérôme Lang

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://oatao.univ-toulouse.fr/12416/1/Herzig_12416.pdf

zbMATH Keywords

computational complexityknowledge representationupdate

Mathematics Subject Classification ID

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

Related Items (3)

Belief Merging by Examples ⋮ Actions, Belief Update, and DDL ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

This page was built for publication: Propositional Update Operators Based on Formula/Literal Dependence