Compilability and compact representations of revision of Horn knowledge bases
From MaRDI portal
Publication:5738901
DOI10.1145/343369.343391zbMath1365.68408OpenAlexW2055240122MaRDI QIDQ5738901
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/343369.343391
Related Items
Belief revision within fragments of propositional logic, Redundancy in logic. I: CNF propositional formulae, Belief revision in Horn theories