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

Reasoning About Physical Systems

Diagnosis

  • Characterizing Non-Intermittent Faults

    Olivier Raiman, Johan de Kleer, Vijay Saraswat, Mark Shirley

    692

    PDF
  • Domain Structure and the Complexity of Diagnostic Problem Solving

    Thomas D. Wu

    855

    PDF
  • Focusing on Probable Diagnoses

    Johan de Kleer

    842

    PDF
  • Model-Based Reconfiguration: Toward an Integration with Diagnosis

    Judith Crow, John Rushby

    836

    PDF

Tractable Inference

  • Knowledge Compilation Using Horn Approximations

    Bart Selman, Henry Kautz

    904

    PDF
  • Natural Language Based Inference Procedures Applied to Schubert’s Steamroller

    Robert Givan, David McAllester, Sameer Shalaby

    915

    PDF
  • Negation and Proof by Contradiction in Access-Limited Logic

    J. M. Crawford, B. J. Kuipers

    891

    PDF
  • Observations on Cognitive Judgments

    David McAllester

    910

    PDF

Qualitative Analysis

  • Analytic Solution of Qualitative Differential Equations

    Philip Schaefer

    830

    PDF
  • Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis

    Toyoaki Nishida, Kenji Mizutani, Atsushi Kubota, Shuji Doshita

    811

    PDF
  • Qualitative Analysis of Causal Feedback

    Philippe Rose, Mark A. Kramer

    817

    PDF
  • The Qualitative Difference Resolution Rule

    Tom Bylander

    824

    PDF

Aggregation and Geometric Reasoning

  • Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic Equilibria

    Shankar A. Rajamoney, Sang Hoe Koo

    862

    PDF
  • Geometric Reasoning for Shape Design

    George Turkiyyah, Omar Ghattas

    874

    PDF
  • Incremental Configuration Space Construction for Mechanism Analysis

    Leo Joskowicz, Elisha Sacks

    888

    PDF
  • Structural Aggregation in Common-Sense Reasoning

    Zheng-Yang Liu, Arthur M. Farley

    868

    PDF
  • The Use of Intelligently Controlled Simulation to Predict a Machine’s Long-Term Behavior

    Andrew Gelsey

    880

    PDF

Primary Sidebar