Journal of the ACM (JACM)
Learning first order universal Horn expressions
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Computing intersections of Horn theories for reasoning with models
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Learning to Reason with a Restricted View
Machine Learning
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
On functional dependencies in q-Horn theories
Artificial Intelligence
Ordered binary decision diagrams as knowledge-bases
Artificial Intelligence
Adaptive Versus Nonadaptive Attribute-Efficient Learning
Machine Learning
Translation among CNFs, characteristic models and ordered binary decision diagrams
Information Processing Letters
Approximation of Relations by Propositional Formulas: Complexity and Semantics
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Disjunctions of Horn Theories and Their Cores
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
Ordered Binary Decision Diagrams as Knowledge-Bases
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
Analysis of Case-Based Representability of Boolean Functions by Monotone Theory
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Taxonomic Relation by Case-Based Reasoning
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Constructing a Critical Casebase to Represent a Lattice-Based Relation
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Variations on extending partially defined boolean functions with missing bits
Information and Computation
On computing all abductive explanations
Eighteenth national conference on Artificial intelligence
Polynomial certificates for propositional classes
Information and Computation
Learning taxonomic relation by case-based reasoning
Theoretical Computer Science - Algorithmic learning theory (ALT 2000)
A survey on knowledge compilation
AI Communications
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
What makes propositional abduction tractable
Artificial Intelligence
Minimum-Size Bases of Association Rules
ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
Deduction Schemes for Association Rules
DS '08 Proceedings of the 11th International Conference on Discovery Science
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
New polynomial classes for logic-based abduction
Journal of Artificial Intelligence Research
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A theory of average-case compilability in knowledge representation
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Polynomial certificates for propositional classes
Information and Computation
On the diffvierence of horn theories
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
On the boolean connectivity problem for horn relations
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Canonical horn representations and query learning
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
On the Boolean connectivity problem for Horn relations
Discrete Applied Mathematics
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Two measures of objective novelty in association rule mining
PAKDD'09 Proceedings of the 13th Pacific-Asia international conference on Knowledge discovery and data mining: new frontiers in applied data mining
A multi-viewpoint system to support abductive reasoning
Information Sciences: an International Journal
Substitutional definition of satisfiability in classical propositional logic
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Deductive inference for the interiors and exteriors of horn theories
ACM Transactions on Computational Logic (TOCL)
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Hi-index | 0.00 |