Implementation of belief change operators using BDDs

DOI10.1023/A:1014610426691zbMath1004.68166OpenAlexW1557825796MaRDI QIDQ1602967

Mark D. Ryan, Nikos Gorogiannis

Publication date: 24 June 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014610426691

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

Knowledge representation (68T30) Fault detection; testing in circuits and networks (94C12)

Related Items (3)

Implementing semantic merging operators using binary decision diagrams ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Prime forms and minimal change in propositional belief bases

This page was built for publication: Implementation of belief change operators using BDDs