Automated Reasoning

Classification

Classification and Reductio-ad-Absurdum Optimality Proofs
Haim Schweitzer
88
PDF
Symbolic Nearest Mean Classifiers
Piew Datta, Dennis Kibler
PDF

Reasoning about Physical Systems

The “Inverse Hollywood Problem”: From Video to Scripts and Storyboards via Causal Analysis
Matthew Brand
132
PDF
Qualitative Rigid Body Mechanics
Thomas F. Stahovich, Randall Davis, Howard Shrobe
PDF

Automated Reasoning/Diagnosis

Representing Actions and State Constraints in Model-Based Diagnosis
Sheila A. McIlraith
43
PDF
Fast Context Switching in Real-Time Propositional Reasoning
P. Pandurang Nayak, Brian C. Williams
50
PDF

Automated Reasoning & the User Interface

Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of 2-D Charts and Graphs
Vibhu O. Mittal
57
PDF
Navigation and Planning in a Mixed-Initiative User Interface
Robert St. Amant
64
PDF

Belief and Decision

Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge
Salem Benferhat, Didier Dubois, Henri Prade
70
PDF
On the Axiomatization of Qualitative Decision Criteria
Ronen I. Brafman, Moshe Tennenholtz
76
PDF

Diagnosis

The Effect of Observations on the Complexity of Model-Based Diagnosis
Adnan Darwiche, Gregory Provan
94
PDF
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems
Pieter J. Mosterman, Gautam Biswas
100
PDF

Modeling for Decision Processes

Model Minimization in Markov Decision Processes
Thomas Dean, Robert Givan
106
PDF
Structured Solution Methods for Non-Markovian Decision Processes
Fahiem Bacchus, Craig Boutilier, Adam Grove
112
PDF

Qualitative Reasoning

Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm
Daniel J. Clancy, Benjamin Kuipers
118
PDF
Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation
Daniel J. Clancy, Benjamin Kuipers
125
PDF

Spatial Uncertainty

Noise, Non-Determinism and Spatial Uncertainty
Murray Shanahan
153
PDF
Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation
Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Gerhard Sagerer, Gert Rickheit
159
PDF
Integrating a Spatial Reasoner with a Resolution Theorem-Prover
Thomas R. Ioerger
145
PDF

Techniques for Temporal Reasoning

A New Unification Method for Temporal Reasoning with Constraints
Eddie Schwalb
165
PDF
Connection Based Strategies for Deciding Propositional Temporal Logic
Subash Shankar, James Slagle
172
PDF