Compilability and compact representations of revision of Horn knowledge bases

DOI10.1145/343369.343391zbMath1365.68408OpenAlexW2055240122MaRDI QIDQ5738901

Paolo Liberatore

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

zbMATH Keywords

compact representationscompilability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

Belief revision within fragments of propositional logic ⋮ Redundancy in logic. I: CNF propositional formulae ⋮ Belief revision in Horn theories

This page was built for publication: Compilability and compact representations of revision of Horn knowledge bases