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

Automated Reasoning

Theorem Proving

  • Using Specialists to Accelerate General Reasoning

    Stephanie A. Miller, Lenhart K. Schubert

    161

    PDF
  • Goal-Directed Equation Solving

    Nachum Dershowitz, G. Sivakumar

    166

    PDF
  • A General Proof Method for Modal Predicate Logic without the Barcan Formula

    Peter Jackson, Han Reichgelt

    177

    PDF
  • Tableau-Based Theorem Proving in Normal Conditional Logics

    Chris Groeneboer, James P. Delgrande

    PDF

Automatic Programming

  • Integrating Multiple Sources of Knowledge Into Designer-Soar, an Automatic Algorithm Designer

    David Steier, Allen Newell

    8

    PDF
  • Invariant Logic. A Calculus for Problem Reformulation

    Michael R. Lowry

    14

    PDF
  • Being Suspicious: Critiquing Problem Specifications

    Stephen Fickas, P. Nagarajan

    19

    PDF
  • Dominic II: Meta-Level Control in Iterative Redesign

    Mark F. Orelup, John R. Dixon, Paul R. Cohen, Melvin K. Simmons

    25

    PDF

Constraints

  • FRM: An Intelligent Assistant for Financial Resource Management

    Andrew Gelman, Susan Altman, Matt Pallakoff, Ketan Doshi, Catherine Manago, Thomas C. Rindfleisch, Bruce G. Buchanan

    31

    PDF
  • Belief Maintenance in Dynamic Constraint Networks

    Rina Dechter, Avi Dechter

    37

    PDF

Planning

  • Reasoning about Action Using a Possible Models Approach

    Marianne Winslett

    89

    PDF
  • A Theory of Debugging Plans and Interpretations

    Reid G. Simmons

    94

    PDF
  • Plan Abstraction Based on Operator Generalization

    John S. Anderson, Arthur M. Farley

    100

    PDF
  • Geometric Reasoning and Organized Optimization for Automated Process Planning

    Yasuyuki Maeda, Katsuya Shinohara

    105

    PDF
  • Prevention Techniques for a Temporal Planner

    John C. Hogge

    43

    PDF
  • An Analysis of Time-Dependent Planning

    Thomas Dean, Mark Boddy

    49

    PDF
  • Extending Conventional Planning Techniques to Handle Actions with Context-Dependent Effects

    Edwin P. D. Pednault

    55

    PDF
  • Goals as Parallel Program Specifications

    Leslie Pack Kaelbling

    60

    PDF
  • Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains

    Edmund H. Durfee, Victor R. Lesser

    66

    PDF
  • Intelligent Real-Time Monitoring

    Thomas J. Laffey, Scott M. Weitzenkamp, Jackson Y. Read, Simon A. Kao, James L. Schmidt

    72

    PDF
  • Reactive Plan Revision

    Peng Si Ow, Stephen F. Smith, Alfred Thiriez

    77

    PDF
  • Integrating Planning, Execution and Monitoring

    Jose A. Ambros-lngerson, Sam Steel

    83

    PDF

Rule-Based Reasoning

  • Reasoning Under Varying and Uncertain Resource Constraints

    Eric J. Horvitz

    111

    PDF
  • Conflict Resolution in Fuzzy Forward-Chaining Production Systems

    James Bowen, Jianchu Kang

    117

    PDF

Search

  • A Rearrangement Search Strategy for Determining Propositional Satisfiability

    Ramin Zabih, David McAllester

    l55

    PDF
  • Parallel Best-First Search of State-Space Graphs: A Summary of Results

    Vipin Kumar, K. Ramesh, V. Nageshwara Rao

    122

    PDF
  • Distributed Tree Search and Its Application to Alpha-Beta Pruning

    Chris Ferguson, Richard E. Korf

    128

    PDF
  • Some Experiments with Case-Based Search

    Steven Bradtke, Wendy G. Lehnert

    133

    PDF
  • Real-Time Heuristic Search: New Results

    Richard E. Korf

    139

    PDF
  • An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem

    K. V. Viswanathan, A. Bagchi

    145

    PDF
  • Tree-Clustering Schemes for Constraint-Processing

    Rina Dechter, Judea Pearl

    150

    PDF

Truth Maintenance Systems

  • An Efficient ATMS for Equivalence Relations

    Caroline N. Koff, Nicholas S. Flann, Thomas G. Dietterich

    182

    PDF
  • A General Labeling Algorithm for Assumption-Based Truth Maintenance

    Johan de Kleer

    188

    PDF
  • Focusing the ATMS

    Kenneth D. Forbus, Johan de Kleer

    193

    PDF
  • Massively Parallel Assumption-Based Truth Maintenance

    Michael Dixon, Johan de Kleer

    199

    PDF

Uncertainty

  • Belief Maintenance: An Integrated Approach to Uncertainty Management

    Kathryn B. Laskey, Paul E. Lehner

    210

    PDF
  • A Note on Probabilistic Logic

    Mary McLeish

    215

    PDF
  • Evidential Reasoning Using DELIEF

    Debra K. Zarley, Yen-Teh Hsia, Glenn Shafer

    205

    PDF

Primary Sidebar