Knowledge compilation and theory approximation
Journal of the ACM (JACM)
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
Updating Reduced Implicate Tries
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Prime Implicates and Reduced Implicate Tries
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
An analysis of approximate knowledge compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Reduced implicate/implicant tries
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Identifying Prime Implicate Branches in Reduced Implicate Tries
Fundamenta Informaticae - Methodologies for Intelligent Systems
Forming concepts for fast inference
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
On minimal constraint networks
Artificial Intelligence
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Hi-index | 0.00 |