Compilability and Compact Representations of Revision of Horn Knowledge Bases
ACM Transactions on Computational Logic - United States
doi 10.1145/343369.343391
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2000
Authors
Publisher
Association for Computing Machinery (ACM)