• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 8 /

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

Primary Sidebar