Automated Reasoning

Belief Revision and Inconsistency

Reasoning under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified Framework
S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffiotti, P. Smets
121
PDF
Belief Revision with Unreliable Observations
Craig Boutilier, Nir Friedman, Joseph Y. Halpern
127
PDF

Design and Diagnosis

Toward Design as Collaboration
Susan L. Epstein
135
PDF
An Architecture for Exploring Large Design Spaces
John R. Josephson, B. Chandrasekaran, Mark Carroll, Naresh Iyer, Bryon Wasacz, Giorgio Rizzoni, Qingyuam Li, David A. Erb
143
PDF
Constructing the Correct Diagnosis When Symptoms Disappear
Nancy E. Reed
151
PDF

Graphical Probabilistic Models

Structured Representation of Complex Stochastic Systems
Nir Friedman, Daphne Koller, Avi Pfeffer
157
PDF
Solving Very Large Weakly Coupled Markov Decision Processes
Nicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, Leonid Peshkin, Leslie Pack Kaelbling, Thomas Dean, Craig Boutilier
165
PDF
Speech Recognition with Dynamic Bayesian Networks
Geoffrey Zweig, Stuart Russell
173
PDF

Model Construction and Analysis

Multimodal Reasoning for Automatic Model Construction
Reinhard Stolle, Elizabeth Bradley
181
PDF
Discovering Admissible Simultaneous Equations of Large Scale Systems
Takashi Washio, Hiroshi Motoda
189
PDF
Decompositional, Model-Based Learning and its Analogy to Diagnosis
Brian C. Williams, William Millar
197
PDF

Modeling the Web

What Can Knowledge Representation Do for Semi-Structured Data?
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
205
PDF
Modeling Web Sources for Information Integration
Craig A. Knoblock, Steven Minton, Jose Luis Ambite, Naveen Ashish, Pragnesh Jay Modi, Ion Muslea, Andrew G. Philpot, Sheila Tejada
211
PDF

Qualitative Modeling

An Ontology for Transitions in Physical Dynamic Systems
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
219
PDF
A New Architecture for Automated Modelling
Neil Smith
225
PDF

Qualitative Reasoning Techniques

Qualitative Simulation as a Temporally-Extended Constraint Satisfaction Problem
Daniel J. Clancy, Benjamin J. Kuipers
240
PDF
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Christopher Bailey-Kellogg, Feng Zhao
232
PDF

Temporal Reasoning

Backtracking Algorithms for Disjunctions of Temporal Constraints
Kostas Stergiou, Manolis Koubarakis
248
PDF
Fast Transformation of Temporal Plans for Efficient Execution
Ioannis Tsamardinos, Nicola Muscettola, Paul Morris
254
PDF

Theorem Proving

An Algorithm to Evaluate Quantified Boolean Formulae
Marco Cadoli, Andrea Giovanardi, Marco Schaerf
262
PDF
Two Forms of Dependence in Propositional Logic: Controllability and Definability
Jérôme Lang, Pierre Marquis
268
PDF
Anytime Approximate Modal Reasoning
Fabio Massacci
274
PDF

Tractable Inference

Algorithms for Propositional KB Approximation
Yacine Boufkhad
280
PDF
A Non-Deterministic Semantics for Tractable Inference
James M. Crawford, David W. Etherington
286
PDF
Computing Intersections of Horn Theories for Reasoning with Models
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
292
PDF