Defaults and relevance in model-based reasoning

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 computing all abductive explanations from a propositional Horn theory

Journal of the ACM (JACM)

Knowledge and intelligent computing system in medicine

Computers in Biology and Medicine

Space efficiency of propositional knowledge representation formalisms

Journal of Artificial Intelligence Research

On the boolean connectivity problem for horn relations

SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing

On the Boolean connectivity problem for Horn relations

Discrete Applied Mathematics

Deductive inference for the interiors and exteriors of horn theories

ACM Transactions on Computational Logic (TOCL)

Generalized Gaussian mixture models as a nonparametric Bayesian approach for clustering using class-specific visual features

Journal of Visual Communication and Image Representation