Representation and Reasoning

Representation and Reasoning: Abduction and Diagnosis

Dynamic MAP Calculations for Abduction
Eugene Charniak, Eugene Santos, Jr.
552
PDF
Consistency-Based Diagnosis in Physiological Domains
Keith L. Downing
558
PDF
Adaptive Model-Based Diagnostic Mechanism Using a Hierarchical Model Scheme
Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka
564
PDF
Reasoning MPE to Multiply Connected Belief Networks Using Message Passing
Bon K. Sy
570
PDF

Representation and Reasoning: Action and Change

Formalizing Reasoning about Change: A Qualitative Reasoning Approach (Preliminary Report)
James M. Crawford, David W. Etherington
577
PDF
Deriving Properties of Belief Update from Theories of Action
Alvaro del Val, Yoav Shoham
584
PDF
Concurrent Actions in the Situation Calculus
Fangzhen Lin, Yoav Shoham
590
PDF
Nonmonotonic Sorts for Feature Structures
Mark A. Young
596
PDF

Representation and Reasoning: Belief

Ideal Introspective Belief
Kurt Konolige
635
PDF
A Belief-Function Logic
Alessandro Saffiotti
642
PDF
Combining Circumscription and Modal Logic
Jacques Wainer
648
PDF
From Statistics to Beliefs
Fahiem Bacchus, Adam Grove, Daphne Koller, Joseph Y. Halpern
602
PDF
A Logic for Revision and Subjunctive Queries
Craig Boutilier
609
PDF
Lexical Imprecision in Fuzzy Constraint Networks
James Bowen, Robert Lai, Dennis Bahler
616
PDF
A Symbolic Generalization of Probability Theory
Adnan Y. Darwiche, Matthew L. Ginsberg
622
PDF
A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report
Piotr J. Gmytrasiewicz, Edmund H. Durfee
628
PDF

Representation and Reasoning: Case-Based

Generating Dialectical Examples Automatically
Kevin D. Ashley, Vincent Aleven
654
PDF
Common Sense Retrieval
A. Julian Craddock
661
PDF
When Should a Cheetah Remind You of a Bat? Reminding in Case-Based Teaching
Daniel C. Edelson
667
PDF
Model-Based Case Adaptation
Eric K. Jones
673
PDF

Representation and Reasoning: Qualitative

Qualitative Simulation Based on a Logical Formalism of Space and Time
Z. Cui, A. G. Cohn, D. A. Randell
679
PDF
Self-Explanatory Simulations: Scaling Up to Large Models
Kenneth D. Forbus, Brian Falkenhainer
685
PDF
Towards a Qualitative Lagrangian Theory of Fluid Flow
Gordon Skorstad
691
PDF
On the Qualitative Structure of a Mechanical Assembly
Randall H. Wilson, Jean-Claude Latombe
697
PDF

Representation and Reasoning: Qualitative Model Construction

Causal Approximations
P. Pandurang Nayak
703
PDF
Automated Model Selection Using Context-Dependent Behaviors
P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
710
PDF
Learning Engineering Models with the Minimum Description Length Principle
R. Bharat Rao, Stephen C-Y. Lu
717
PDF
Automatic Abduction of Qualitative Models
Bradley L. Richards, Benjamin J. Kuipers, Ina Kraan
723
PDF

Representation and Reasoning: Temporal

Complexity Results for Serial Decomposability
Tom Bylander
729
PDF
Temporal Reasoning in Sequence Graphs
Jürgen Dorn
735
PDF
Algorithms and Complexity for Reasoning about Time
Martin Charles Golumbic, Ron Shamir
741
PDF
On the Computational Complexity of Temporal Projection and Plan Validation
Bernhard Nebel, Christer Bäckström
748
PDF

Representation and Reasoning: Terminological

A Non-Well-Founded Approach to Terminological Cycles
Robert Dionne, Eric Mays, Frank J. Oles
761
PDF
An Empirical Analysis of Terminological Representation Systems
Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich
767
PDF
Recognition Algorithms for the Loom Classifier
Robert M. MacGregor, David Brill
774
PDF
Computing Least Common Subsumers in Description Logics
William W. Cohen, Alex Borgida, Haym Hirsh
754
PDF

Representation and Reasoning: Tractability

An Improved Incremental Algorithm for Generating Prime Implicates
Johan de Kleer
780
PDF
Forming Concepts for Fast Inference
Henry Kautz, Bart Selman
786
PDF
The Complexity of Propositional Default Logics
Jonathan Stillman
794
PDF