• 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, 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

    281

    PDF
  • Context Maintenance

    Charles J. Petrie, Jr.

    288

    PDF

Verification of Rule-Based Systems

  • Formal Verification of Pure Production System Programs

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

    329

    PDF
  • Learning Meta Knowledge for Database Checking

    Jeffrey C. Schlimmer

    335

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

    Pedro Meseguer

    323

    PDF

Parallel Support for Rule-Based Systems

  • Control Issues in Parallel Rule-Firing Production Systems

    Daniel E. Neiman

    310

    PDF
  • Implementation of Multiple Rule Firing Production Systems on Hypercube

    Steve Kuo, Dan Moldovan

    304

    PDF
  • IXM2: A Parallel Associative Processor for Knowledge Processing

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

    296

    PDF
  • Using Abstraction to Automate Program Improvement by Transformation

    Ian Green

    317

    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