Bucket elimination: a unifying framework for probabilistic inference

Bucket elimination: a unifying framework for processing hard and soft constraints

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Probabilistic query models for transaction data

Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining

Theorem Proving Based on the Extension Rule

Journal of Automated Reasoning

Knowledge Compilation Using the Extension Rule

Journal of Automated Reasoning

Ontology-based user profile learning

Applied Intelligence

Dynamic symbolic computation for domain-specific language implementation

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation