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

Automated Reasoning

Classification

  • Classification and Reductio-ad-Absurdum Optimality Proofs

    Haim Schweitzer

    88

    PDF
  • Symbolic Nearest Mean Classifiers

    Piew Datta, Dennis Kibler

    PDF

Reasoning about Physical Systems

  • The “Inverse Hollywood Problem”: From Video to Scripts and Storyboards via Causal Analysis

    Matthew Brand

    132

    PDF
  • Qualitative Rigid Body Mechanics

    Thomas F. Stahovich, Randall Davis, Howard Shrobe

    PDF

Automated Reasoning/Diagnosis

  • Representing Actions and State Constraints in Model-Based Diagnosis

    Sheila A. McIlraith

    43

    PDF
  • Fast Context Switching in Real-Time Propositional Reasoning

    P. Pandurang Nayak, Brian C. Williams

    50

    PDF

Automated Reasoning & the User Interface

  • Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of 2-D Charts and Graphs

    Vibhu O. Mittal

    57

    PDF
  • Navigation and Planning in a Mixed-Initiative User Interface

    Robert St. Amant

    64

    PDF

Belief and Decision

  • Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge

    Salem Benferhat, Didier Dubois, Henri Prade

    70

    PDF
  • On the Axiomatization of Qualitative Decision Criteria

    Ronen I. Brafman, Moshe Tennenholtz

    76

    PDF

Diagnosis

  • The Effect of Observations on the Complexity of Model-Based Diagnosis

    Adnan Darwiche, Gregory Provan

    94

    PDF
  • Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems

    Pieter J. Mosterman, Gautam Biswas

    100

    PDF

Modeling for Decision Processes

  • Model Minimization in Markov Decision Processes

    Thomas Dean, Robert Givan

    106

    PDF
  • Structured Solution Methods for Non-Markovian Decision Processes

    Fahiem Bacchus, Craig Boutilier, Adam Grove

    112

    PDF

Qualitative Reasoning

  • Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm

    Daniel J. Clancy, Benjamin Kuipers

    118

    PDF
  • Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation

    Daniel J. Clancy, Benjamin Kuipers

    125

    PDF

Spatial Uncertainty

  • Noise, Non-Determinism and Spatial Uncertainty

    Murray Shanahan

    153

    PDF
  • Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation

    Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Gerhard Sagerer, Gert Rickheit

    159

    PDF
  • Integrating a Spatial Reasoner with a Resolution Theorem-Prover

    Thomas R. Ioerger

    145

    PDF

Techniques for Temporal Reasoning

  • A New Unification Method for Temporal Reasoning with Constraints

    Eddie Schwalb

    165

    PDF
  • Connection Based Strategies for Deciding Propositional Temporal Logic

    Subash Shankar, James Slagle

    172

    PDF

Primary Sidebar