David Poole

Clinton Smyth

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Probability and Equality: A Probabilistic Model of Identity Uncertainty.

[BibT_eX]

[DOI]

Rita Sharma

Proceedings of the Advances in Artificial Intelligence, 2005

2004

Diagnosis by a waiter and a Mars explorer.

[BibT_eX]

[DOI]

Nando de Freitas

Richard Dearden

Frank Hutter

Rubén Morales-Menéndez

Jim Mutch

Proc. IEEE, 2004

CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2004

Preference-Based Constrained Optimization with CP-Nets.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Qualitative Probabilistic Matching with Hierarchical Descriptions.

[BibT_eX]

[DOI]

Clinton Smyth

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Estimating the size of the telephone universe: a Bayesian Mark-recapture approach.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2004

2003

Exploiting Contextual Independence In Probabilistic Inference.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

Efficient Inference in Large Discrete Domains.

[BibT_eX]

[DOI]

Rita Sharma

Proceedings of the UAI '03, 2003

Towards more conversational and collaborative recommender systems.

[BibT_eX]

[DOI]

Giuseppe Carenini

Jocelyin Smith

Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

First-order probabilistic inference.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Estimation and control of industrial processes with particle filters.

[BibT_eX]

[DOI]

Rubén Morales-Menéndez

Nando de Freitas

Proceedings of the American Control Conference, 2003

2002

Real-Time Monitoring of Complex Industrial Processes with Particle Filters.

[BibT_eX]

[DOI]

Rubén Morales-Menéndez

Nando de Freitas

Proceedings of the Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, 2002

2001

Symmetric Collaborative Filtering Using the Noisy Sensor Model.

[BibT_eX]

[DOI]

Rita Sharma

Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

2000

Abducing through negation as failure: stable models within the independent choice logic.

[BibT_eX]

[DOI]

J. Log. Program., 2000

Building a Stochastic Dynamic Model of Application Use.

[BibT_eX]

[DOI]

Peter Gorniak

Proceedings of the UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30, 2000

Logic, Knowledge Representation, and Bayesian Decision Theory.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Predicting Future User Actions by Observing Unmodified Applications.

[BibT_eX]

[DOI]

Peter Gorniak

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Estimating the Value of Computation in Flexible Information Refinement.

[BibT_eX]

[DOI]

Michael C. Horsch

Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

Reasoning With Conditional Ceteris Paribus Preference Statements.

[BibT_eX]

[DOI]

Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

On the Role of Context-Specific Independence in Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Decision Theory, the Situation Calculus and Conditional Plans.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

Context-specific approximation in probabilistic inference.

[BibT_eX]

[DOI]

Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

An Anytime Algorithm for Decision Making under Uncertainty.

[BibT_eX]

[DOI]

Michael C. Horsch

Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

Computational intelligence - a logical approach.

[BibT_eX]

Alan K. Mackworth

Oxford University Press, ISBN: 978-0-19-510270-3, 1998

1997

The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Exploiting Causal Independence in Bayesian Network Inference.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1996

Probabilistic Conflicts in a Search Algorithm for Estimating Posterior Probabilities in Bayesian Networks.

[BibT_eX]

[DOI]

Artif. Intell., 1996

A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility.

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

Flexible Policy Construction by Information Refinement.

[BibT_eX]

[DOI]

Michael C. Horsch

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations.

[BibT_eX]

[DOI]

Craig Boutilier

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A New Method for Influence Diagram Evaluation.

[BibT_eX]

[DOI]

Comput. Intell., 1995

Exploiting the Rule Structure for Decision Making within the Independent Choice Logic.

[BibT_eX]

[DOI]

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Logic Programming for Robot Control.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

A computational theory of decision networks.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1994

Representing Diagnosis Knowledge.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

AI Meets Authoring: User Models for Intelligent Multimedia.

[BibT_eX]

[DOI]

Kellogg S. Booth

Artif. Intell. Rev., 1994

Intercausal Independence and Heterogeneous Factorization.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Solving Asymmetric Decision Problems with Influence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

1993

Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Multiply Sectioned Bayesian Networks and Junction Forests for Large Knowledge-Based Systems.

[BibT_eX]

[DOI]

Yang Xiang

Michael P. Beddoes

Comput. Intell., 1993

Multiply sectioned Bayesian networks for neuromuscular diagnosis.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1993

Probabilistic Horn Abduction and Bayesian Networks.

[BibT_eX]

[DOI]

Artif. Intell., 1993

Incremental computation of the value of perfect information in stepwise-decomposable influence diagrams.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

The use of conflicts in searching Bayesian networks.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Hypothetically Speaking Default Reasoning and Discourse-Structure.

[BibT_eX]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Exploring Localization in Bayesian Networks for Large Expert Systems.

[BibT_eX]

[DOI]

Yang Xiang

Michael P. Beddoes

Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

Stepwise-Decomposable Influence Diagrams.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Logic Programming, Abduction and Probability.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Compiling a Default Reasoning System into Prolog.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1991

High Level Path Planning with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

Representing Bayesian Networks Within Probabilistic Horn Abduction.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

The Utility of Consistency-Based Diagnostic Techniques.

[BibT_eX]

Gregory M. Provan

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Representing Diagnostic Knowledge for Probabilistic Horn Abduction.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Query Answering in Circumscription.

[BibT_eX]

[DOI]

Nicolas Helft

Katsumi Inoue

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

A methodology for using a default and abductive reasoning system.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1990

What is the most likely diagnosis?

[BibT_eX]

[DOI]

Gregory M. Provan

Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

1989

Explanation, prediction: an architecture for default, abductive reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 1989

Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?

[BibT_eX]

[DOI]

Yang Xiang

Michael P. Beddoes

Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

What the Lottery Paradox Tells Us About Default Reasoning.

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

From Utterance to Belief via Presupposition: Default Logic in User-Modelling.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Based Computer Systems, 1989

Normality and Faults in Logic-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Towards solving the multiple extension problem: Combining defaults and probabilities.

[BibT_eX]

Int. J. Approx. Reason., 1988

Combining logic and probability.

[BibT_eX]

[DOI]

Comput. Intell., 1988

A Logical Framework for Default Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1988

Probabilsitic semantics and defaults.

[BibT_eX]

Romas Aleliunas

Proceedings of the UAI '88: Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence, 1988

Representing Knowledge for Logic-Based Diagnosis.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Towards Solving the Multiple Extension Problem: Combining Defaults and Probability.

[BibT_eX]

[DOI]

Proceedings of the UAI '87: Proceedings of the Third Annual Conference on Uncertainty in Artificial Intelligence, 1987

Variables in Hypotheses.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Gracefully adding negation and disjunction to Prolog.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning.

[BibT_eX]

[DOI]

Koichi Furukawa

Proceedings of the Third International Conference on Logic Programming, 1986

1985

On eliminating loops in Prolog.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1985

On the Comparison of Theories: Preferring the Most Specific Explanation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

A Logical System for Default Reasoning.

[BibT_eX]