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

Common Sense Reasoning

Nonstandard Logics

  • Investigations into a Theory of Knowledge Base Revision: Preliminary Report

    Mukesh Dalal

    475

    PDF
  • Adding Number Restrictions to a Four-Valued Terminological Logic

    Anthony J. Bonner

    485

    PDF
  • Normal Multimodal Logics

    Laurent Catach

    491

    PDF
  • A Logic for Hypothetical Reasoning

    Anthony J. Bonner

    480

    PDF

Inheritance

  • A Deductive Pattern Matcher

    Robert M. MacGregor

    403

    PDF
  • A Model and Representation for Type Information and Its Use in Reasoning with Defaults

    Lin Padgham

    409

    PDF
  • Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics

    Brian A. Haugh

    421

    PDF
  • Mixing Strict and Defeasible Inheritance

    John F. Horty, Richmond H. Thomason

    427

    PDF
  • Nonmonotonlc Inheritance and Generic Reflexives

    David S. Touretzky, Richmond H. Thomason

    433

    PDF
  • Beyond ISA: Structures for Plausible Inference in Semantic Networks

    Paul R. Cohen, Cynthia L. Loiselle

    415

    PDF

Qualitative Reasoning

  • MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning

    Brian C. Williams

    264

    PDF
  • A Qualitative Approach to Mechanical Constraint

    Paul Nielsen

    270

    PDF
  • Global Filters for Qualitative Behaviors

    Peter Struss

    275

    PDF
  • Generating Global Behaviors Using Deep Knowledge of Local Dynamics

    Kenneth Man-Kam Yip

    280

    PDF
  • Exaggeration

    Daniel S. Weld

    291

    PDF
  • Qualitative Reasoning at Multiple Resolutions

    Seshashayee S. Murthy

    296

    PDF
  • Setting up Large-Scale Qualitative Models

    Brian Falkenhainer, Kenneth D. Forbus

    301

    PDF
  • Formal Basis for Common Sense Abstraction of Dynamic Systems

    Yumi Iwasaki, Inderpal Bhandari

    307

    PDF
  • Causal Ordering in a Mixed Structure

    Yumi Iwasaki

    313

    PDF
  • Controlling Qualitative Resolution

    Jean-Luc Dormoy

    319

    PDF
  • Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation

    Wood W. Lee, Benjamin J. Kuipers

    286

    PDF
  • Using Incomplete Quantitative Knowledge in Qualitative Reasoning

    Benjamin Kuipers, Daniel Berleant

    324

    PDF

Design

  • Function Sharing in Mechanical Design

    Karl T. Ulrich, Warren P. Seering

    342

    PDF
  • From Kinematics to Shape: An Approach to Innovative Design

    Leo Joskowicz, Sanjaya Addanki

    347

    PDF
  • Assembling a Device

    Jean-Luc Dormoy, Olivier Raiman

    330

    PDF
  • Upgrading Design Systems

    Sarosh Talukdar, Jim Rehg, Rob Woodbury, Alberto Elfes

    336

    PDF

Diagnosis

  • The Induction of Fault Diagnosis Systems from Qualitative Models

    D. A. Pearce

    353

    PDF
  • Design for Testability

    Peng Wu

    358

    PDF
  • Specialized Strategies: An Alternative to First Principles in Diagnostic Problem Solving

    Nancy E. Reed, Elizabeth R. Stuck, James B. Moen

    364

    PDF
  • Robust Operative Diagnosis as Problem Solving in a Hypothesis Space

    Kathy H. Abbott

    369

    PDF

Knowledge Representation

  • How to Print a File: An Expert System Approach to Software Knowledge Representation

    Peter G. Selfridge

    380

    PDF
  • Representing Genetic Information with Formal Grammars

    David B. Searls

    386

    PDF
  • Overview of an Approach to Representation Design

    Jeffrey Van Baalen, Randall Davis

    392

    PDF
  • Mechanisms for Reasoning about Sets

    Michael P. Wellman, Reid G. Simmons

    398

    PDF

Nonmonotonlc Logic

  • Some Computational Aspects of Circumscription

    Phokion G. Kolaitis, Christos H. Papadimitriou

    465

    PDF
  • A Circumscriptive Theorem Prover: Preliminary Report

    Matthew L. Ginsberg

    470

    PDF
  • Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning

    Kurt Konolige

    439

    PDF
  • On the Relationship Between Logic Programming and Nonmonotonlc Reasoning

    Teodor C. Przymusinski

    444

    PDF
  • On the Logic of Defaults

    Hector Geffner

    449

    PDF
  • Compiling Circumscriptive Theories into Logic Programs: Preliminary Report

    Michael Gelfond, Vladimir Lifschitz

    455

    PDF
  • On Reducing Parallel Circumscription

    Li Yan Yuan, Cheng Hui Wang

    460

    PDF

Temporal Reasoning

  • The Persistence of Derived Information

    Karen L. Myers, David E. Smith

    496

    PDF
  • Representing and Computing Temporally Scoped Beliefs

    Steve Hanks

    501

    PDF
  • Stable Closures, Defeasible Logic, and Contradiction Tolerant Reasoning

    Paul Morris

    506

    PDF
  • Satisfying First-Order Constraints about Time Intervals

    Peter B. Ladkin

    512

    PDF
  • Why Things Go Wrong: A Formal Theory of Causal Reasoning

    Leora Morgenstern, Lynn Andrea Stein

    518

    PDF
  • Probabilistic Temporal Reasoning

    Thomas Dean, Keiji Kanazawa

    524

    PDF

Primary Sidebar