Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
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
On functional dependencies in q-Horn theories
Artificial Intelligence
Ordered binary decision diagrams as knowledge-bases
Artificial Intelligence
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
Reasoning with Ordered Binary Decision Diagrams
ISAAC '00 Proceedings of the 11th International Conference 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
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Horn axiomatizations for sequential data
Theoretical Computer Science
Learning Horn Expressions with LOGAN-H
The Journal of Machine Learning Research
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
What makes propositional abduction tractable
Artificial Intelligence
Characterizing Implications of Injective Partial Orders
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Translating between Horn representations and their characteristic models
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial 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
The complexity of theory revision
Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Modalities, Relations, and Learning
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
Proceedings of the 2010 conference on Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
On the boolean connectivity problem for horn relations
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Boolean approximation revisited
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
On the merge of factor canonical bases
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
On the Boolean connectivity problem for Horn relations
Discrete Applied Mathematics
Reasoning with characteristic models
AAAI'93 Proceedings of the eleventh national conference on 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
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Enumerating minimal explanations by minimal hitting set computation
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
On horn axiomatizations for sequential data
ICDT'05 Proceedings of the 10th international conference on Database Theory
Deductive inference for the interiors and exteriors of horn theories
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |