A linear constraint satisfaction approach to cost-based abduction

On linear potential functions for approximating Bayesian computations

Journal of the ACM (JACM)

Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence

Using Constraint Satisfaction for View Update

Journal of Intelligent Information Systems

On multiple spline approximations for Bayesian computations

Annals of Mathematics and Artificial Intelligence

Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence

Abductive reasoning with recurrent neural networks

Neural Networks - 2003 Special issue: Advances in neural networks research — IJCNN'03

Reasoning with BKBs – Algorithms and Complexity

Annals of Mathematics and Artificial Intelligence

Symbolic diagnosis and its formalisation

The Knowledge Engineering Review

Approximating cost-based abduction is NP-hard

Artificial Intelligence

2005 Special Issue: Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction

Neural Networks - 2005 Special issue: IJCNN 2005

A probabilistic plan recognition algorithm based on plan tree grammars

Artificial Intelligence

Using membrane computers to find optimal solutions to cost-based abduction

PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems

Dynamic MAP calculations for abduction

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence

Approximate model-based diagnosis using greedy stochastic search

Journal of Artificial Intelligence Research

Belief updating by enumerating high-probabilityindependence-based assignments

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence

Explaining genetic knock-out effects using cost-based abduction

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence