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

Automated Reasoning

Distributed Artificial Intelligence

  • Distributed Truth Maintenance

    David Murray Bridgeland, Michael N. Huhns

    72

    PDF
  • A Hierarchical Protocol for Coordinating Mulitagent Behaviors

    Edmund H. Durfee, Thomas A. Montgomery

    86

    PDF
  • On Acting Together

    Hector J. Levesque, Philip R. Cohen, José H.T. Nunes

    94

    PDF
  • Negotiation and Conflict Resolution in Non-Cooperative Domains

    Gilad Zlotkin, Jeffrey S. Rosenschein

    100

    PDF
  • DARES: A Distributed Automated REasoning System

    S.E. Conry, D.J. MacIntosh, R.A. Meyer

    78

    PDF

Constraint Satisfaction Problems

  • Complexity of K-Tree Structured Constraint Satisfaction Problems

    Eugene C. Freuder

    4

    PDF
  • Tree Decomposition with Applications to Constraint Processing

    Itay Meiri, Rina Dechter, Judea Pearl

    10

    PDF
  • Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method

    Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird

    17

    PDF
  • The Complexity of Constraint Satisfaction in Prolog

    Bernard A. Nadel

    33

    PDF
  • An Algebraic Approach to Conflict Resolution in Planning

    Qiang Yang

    40

    PDF
  • Some Applications of Graph Bandwidth to Constraint Satisfaction Problems

    Ramin Zabih

    46

    PDF
  • Dynamic Constraint Satisfaction Problems

    Sanjay Mittal, Brian Falkenhainer

    25

    PDF

Distributed and Parallel Systems

  • The Design of a Marker Passing Architecture for Knowledge Processing

    Wing Lee, Dan Moldovan

    59

    PDF
  • A Parallel Asynchronous Distributed Production System

    James G. Schmolze, Suraj Goel

    65

    PDF
  • An Organizational Approach to Adaptive Production Systems

    Toru Ishida, Makoto Yokoo, Les Gasser

    52

    PDF

Evidential Reasoning

  • Probabilistic Semantics for Cost Based Abduction

    Eugene Charniak, Solomon E. Shimony

    106

    PDF
  • Two Views of Belief: Belief as Generalized Probability and Belief as Evidence

    Joseph Y. Halpern, Ronald Fagin

    112

    PDF
  • The Belief Calculus and Uncertain Reasoning

    Yen-Teh Hsia

    120

    PDF
  • Symbolic Probabilistic Inference in Belief Networks

    Ross D. Shachter, Bruce D'Ambrosio, Brendan A. Del Favero

    126

    PDF

Planning

  • Incremental, Approximate Planning

    Charles Elkan

    145

    PDF
  • Admissible Criteria for Loop Control in Planning

    Roy Feldman, Paul Morris

    151

    PDF
  • Practical Temporal Projection

    Steve Hanks

    158

    PDF
  • Synthesis of Reactive Plans for Multi-Path Environments

    F. Kabanza

    164

    PDF
  • Mapping and Retrieval During Plan Reuse: A Validation Structure Based Approach

    Subbarao Kambhampati

    170

    PDF
  • A Theory of Plan Modification

    Subbarao Kambhampati

    176

    PDF
  • Introducing the Tileworld: Experimentally Evaluating Agent Architectures

    Martha E. Pollack, Marc Ringuette

    183

    PDF
  • Getting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition

    Marc Vilain

    190

    PDF
  • The STRIPS Assumption for Planning Under Uncertainty

    Michael P. Wellman

    198

    PDF
  • ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner

    Qiang Yang, Josh D. Tenenberg

    204

    PDF
  • An Approach to Reasoning About Continuous Change for Applications in Planning

    Thomas Dean, Greg Siegle

    132

    PDF
  • Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction

    Mark Drummond, John Bresinai

    138

    PDF

Search

  • Search Lessons Learned from Crossword Puzzles

    Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance

    210

    PDF
  • Iterative Broadening

    Matthew L. Ginsberg, William D. Harvey

    216

    PDF
  • Path-Focused Duplication: A Search Procedure for General Matings

    Sunil Issar

    221

    PDF
  • Consistent Linear Speedups to a First Solution in Parallel State-Space Search

    Vikram A. Saletore, L.V. Kalé

    227

    PDF

Theorem Proving and Program Synthesis

  • Inductive Synthesis of Equational Programs

    Nachum Dershowitz, Eli Pinchover

    234

    PDF
  • Mechanizing Inductive Reasoning

    Emmanuel Kounalis, Michael Rusinowitch

    240

    PDF
  • Skolem Functions and Equality in Automated Deduction

    William McCune

    246

    PDF
  • Automatically Generating Universal Attachments Through Compilation

    Karen L. Myers

    252

    PDF
  • Solving Term Inequalities

    Gerald E Peterson

    258

    PDF

Truth Maintenance Systems

  • Computing Stable Models by Using the ATMS

    Kave Eshghi

    272

    PDF
  • Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System

    Ulrich Junker, Kurt Konolige

    278

    PDF
  • Maintaining Consistency in a Stratified Production System Program

    Louiqa Raschid

    284

    PDF
  • Exploiting Locality in a TMS

    Johan de Kleer

    264

    PDF

Primary Sidebar