• 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
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 9 /

Constraint Reasoning and Component Technologies

Extensions of Truth Maintenance

  • Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System

    Geneviève Morgue, Thomas Chehire

    268

    PDF
  • Using Attention in Belief Revision

    Xueming Huang, Gordon I. McCalla, Eric Neufeld

    275

    PDF
  • CATMS: An ATMS Which Avoids Label Explosions

    John W. Collins, Dennis DeCoste

    PDF
  • Context Maintenance

    Charles J. Petrie, Jr.

    PDF

Parallel Support for Rule-Based Systems

  • Control Issues in Parallel Rule-Firing Production Systems

    Daniel E. Neiman

    PDF
  • Implementation of Multiple Rule Firing Production Systems on Hypercube

    Steve Kuo, Dan Moldovan

    PDF
  • IXM2: A Parallel Associative Processor for Knowledge Processing

    Tetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken-ichi Handa, Akio Kokubu, Naoto Takahashi

    PDF
  • Using Abstraction to Automate Program Improvement by Transformation

    Ian Green

    PDF

Verification of Rule-Based Systems

  • Formal Verification of Pure Production System Programs

    Rose F. Gamble, Gruia-Catalin Roman, William E. Ball

    PDF
  • Learning Meta Knowledge for Database Checking

    Jeffrey C. Schlimmer

    PDF
  • Verification of Multi-Level Rule-Based Expert Systems

    Pedro Meseguer

    PDF

Constraint-Based Reasoning

  • Conditional Existence of Variables in Generalized Constraint Networks

    James Bowen, Dennis Bahler

    215

    PDF
  • Arc-Consistency in Dynamic Constraint Satisfaction Problems

    Christian Bessiere

    221

    PDF
  • Eliminating Interchangeable Values in Constraint Satisfaction Problems

    Eugene C. Freuder

    227

    PDF
  • On Generalized Interval Calculi

    Gérard Ligozat

    234

    PDF

Temporal Constraints

  • Combining Qualitative and Quantitative Constraints in Temporal Reasoning

    Itay Meiri

    260

    PDF
  • Integrating Metric and Qualitative Temporal Reasoning

    Henry A. Kautz, Peter B. Ladkin

    241

    PDF
  • Temporal Reasoning During Plan Recognition

    Fei Song, Robin Cohen

    247

    PDF
  • Metric Constraints for Maintaining Appointments: Dates and Repeated Activities

    Massimo Poesio, Ronald J. Brachman

    253

    PDF

Primary Sidebar