{"type":"ScholarlyArticle","title":"Tractable Cover Compilations","authors":[{"name":"Yacine Boufkhad","slug":"yacine-boufkhad","given":"Yacine","family":"Boufkhad","affiliation":""},{"name":"Éric Grégoire","slug":"eric-gregoire","given":"Éric","family":"Grégoire","affiliation":""},{"name":"Pierre Marquis","slug":"pierre-marquis","given":"Pierre","family":"Marquis","affiliation":""},{"name":"Bertrand Mazure","slug":"bertrand-mazure","given":"Bertrand","family":"Mazure","affiliation":""},{"name":"Lakhdar Sais","slug":"lakhdar-sais","given":"Lakhdar","family":"Sais","affiliation":""}],"abstract":"Tractable covers are introduced as a new approach to equivalence-preserving compilation of propositional knowledge bases. First, a general framework is presented. Then, two specific cases are considered. In the first one, partial interpretations are used to shape the knowledge base into tractable formulas from several possible classes. In the second case, they are used to derive renamable Horn formulas. This last case is proved less space-consuming than prime implicants cover compilations for every knowledge base. Finally, experimental results show that the new approaches can prove efficient w.r.t. direct query answering and offer significant time and space savings w.r.t. prime implicants covers.","doi":null,"url":"https://ijcai.org/proceedings/1997/19","pdf":"https://ijcai.org/proceedings/1997/0019.pdf","markdown":"https://ijcai.org/proceedings/1997/19.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/19","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":19,"pages":{"first":122,"last":126},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}