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

Issues in Automated Reasoning

Belief Functions

  • Combining Opinions About the Order of Rule Execution

    Jeffrey A. Barnett

    477

    PDF
  • Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief

    John F. Lemmer, Henry E. Kyburg, Jr.

    488

    PDF
  • Explanation, Irrelevance, and Statistical Independence

    Solomon E. Shimony

    482

    PDF

General Deduction Systems

  • Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics

    Ricardo Caferra, Stephane Demri, Michel Herment

    421

    PDF
  • Mechanization of Analytic Reasoning About Sets

    Alan F. McMichael

    427

    PDF

Search

  • A New Admissible Heuristic for Minimal-Cost Proofs

    Eugene Charniak, Saadia Husain

    446

    PDF
  • Depth-First Versus Best-First Search

    Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf

    434

    PDF
  • Is There any Need for Domain-Dependent Control Information?

    Matthew L. Ginsberg, Donald F. Geddis

    452

    PDF
  • Optimal Satisficing Tree Searches

    Dan Geiger, Jeffrey A. Barnett

    441

    PDF

Terminological Reasoning

  • Concept Languages as Query Languages

    Maurizio Lenzerini, Andrea Schaerf

    471

    PDF
  • Deduction as Parsing: Tractable Classification in the KL-ONE Framework

    Marc Vilain

    464

    PDF
  • Integrating Rules in Term Subsumption Knowledge Representation Servers

    Brian R. Gaines

    458

    PDF

Truth Maintenance Systems

  • ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals

    Walter Hamscher

    506

    PDF
  • An Efficient First-Order Horn-Clause Abduction System Based on the ATMS

    Hwee Tou Ng, Raymond J. Mooney

    494

    PDF
  • Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System

    David Jerald Goldstone

    512

    PDF
  • The Common Order-Theoretic Structure of Version Spaces and ATMS’s (Extended Abstract)

    Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian

    500

    PDF

Primary Sidebar