Knowledge Representation

Connectionism

Connectionism, Rule Following, and Symbolic Manipulation
Robert F. Wadley
579
PDF
A Structured Connectionist Unification Algorithm
Steffen Hölldobler
587
PDF

Complexity and Expressiveness

On the Expressiveness of Networks with Hidden Variables
Rina Dechter
556
PDF
The Complexity of Closed World Reasoning and Circumscription
Marco Cadoli, Maurizio Lenzerini
550
PDF
An Optimally Efficient Limited Inference System
Lokendra Shastri, Venkat Ajjanagadde
563
PDF
It’s Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics
Jonathan Stillman
571
PDF

Causality and Introspection

Causal Theories for Nonmonotonic Reasoning
Hector Geffner
524
PDF
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Gerhard Lakemeyer
531
PDF
A Formal Theory of Multiple Agent Nonmonotonic Reasoning
Leora Morgenstern
538
PDF
A Circumscriptive Theory for Causal and Evidential Support
Eunok Paek
545
PDF

Default Representations

Conditional Logics of Normality as Modal Systems
Craig Boutilier
594
PDF
Nonmonotonicity and the Scope of Reasoning: Preliminary Report
David W. Etherington
600
PDF
The Representation of Defaults in Cyc
Ramanathan V. Guha
608
PDF
The Generalized Theory of Model Preference
Piotr Rychlik
615
PDF

Inheritance

Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Franz Baader
621
PDF
On the Complexity of Monotonic Inheritance with Roles
Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham
627
PDF
Boolean Extensions of Inheritance Networks
John F. Horty, Richmond H. Thomason
633
PDF
A Temporal Terminological Logic
Albrecht Schmiedel
640
PDF

Representation and Uncertainty

A Maximum Entropy Approach to Nonmonotonic Reasoning
Moisés Goldszmidt, Paul Morris, Judea Pearl
646
PDF
A Hybrid Framework for Representing Uncertain Knowledge
Alessandro Saffiotti
653
PDF
A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning
Ken Satoh
659
PDF
Probabilities that Imply Certainties
Haim Shvaytser (Schweitzer)
665
PDF

Architectures

Very Fast Decision Table Execution of Propositional Expert Systems
Robert M. Colomb, Charles Y.C. Chung
671
PDF
The Intelligent Database Interface: Integrating AI and Database Systems
Donald P. McKay, Timothy W. Finin, Anthony O'Hare
677
PDF
On the Performance of Lazy Matching in Production Systems
Daniel P. Miranker, David A. Brant, Bernie Lofaso, David Gadbois
685
PDF
A Framework for Investigating Production System Formulations with Polynomially Bounded Match
Milind Tarnbe, Paul S. Rosenbloom
693
PDF
A Principled Approach to Reasoning About the Specificity of Rules
John Yen
701
PDF

Temporal and Spatial Reasoning

Weak Representations of Interval Algebras
Gérard Ligozat
715
PDF
A Qualitative Model for Space
Amitabha Mukerjee, Gene Joe
721
PDF
Reasoning about Qualitative Temporal Information
Peter van Beek
728
PDF
Solving Geometric Constraint Systems
Glenn A. Kramer
708
PDF