Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
Journal of Automated Reasoning
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
Mathematical applications of inductive logic programming
Machine Learning
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
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Implementing iterated belief change via prime implicates
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Identifying Prime Implicate Branches in Reduced Implicate Tries
Fundamenta Informaticae - Methodologies for Intelligent Systems
Tri-based set operations and selective computation of prime implicates
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
An approach to abductive reasoning in equational logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |