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

Knowledge Representation and Reasoning

Boolean Satisfiability

  • Generating Satisfiable Problem Instances

    Dimitris Achlioptas, Microsoft Research; Carla Gomes, Cornell University; Henry Kautz, AT&T Research; Bart Selman, Cornell University

    256

    PDF
  • Solving the Round Robin Problem Using Propositional Logic

    Ramón Béjar and Felip Many&eagrave;, Universitat de Lleida

    262

    PDF
  • A Demand-Driven Algorithm for Generating Minimal Models

    Rachel Ben-Eliyahu - Zohary, Ben-Gurion University of the Negev

    267

    PDF
  • Redundancy in Random SAT Formulas

    Yacine Boufkhad and Olivier Roussel, Université d'Artois

    273

    PDF
  • On 2-SAT and Renamable Horn

    Alvaro del Val, Universidad Autónoma de Madrid

    279

    PDF
  • A Distributed Algorithm to Evaluate Quantified Boolean Formulae

    Rainer Feldmann, Burkhard Monien, and Stefan Schamberger, University of Paderborn

    285

    PDF
  • Integrating Equivalency Reasoning into Davis-Putnam Procedure

    Chu Min Li, Univ. de Picardie Jules Verne

    291

    PDF
  • Local Search Characteristics of Incomplete SAT Procedures

    Dale Schuurmans and Finnegan Southey, University of Waterloo

    297

    PDF
  • MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability

    William E. Walsh and Michael P. Wellman, University of Michigan

    303

    PDF
  • An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems

    Zhe Wu and Benjamin W. Wah, University of Illinois at Urbana-Champaign

    310

    PDF

Case-Based Reasoning

  • Dynamic Case Creation and Expansion for Analogical Reasoning

    Thomas Mostek, Kenneth D. Forbus, and Cara Meverden, Northwestern University

    323

    PDF
  • Memory-Based Forecasting for Weather Image Patterns

    Kazuhiro Otsuka and Tsutomu Horikoshi, NTT Cyber Solutions Laboratories; Satoshi Suzuki, NTT East Corporation; Haruhiko Kojima, NTT Cyber Solutions Laboratories

    330

    PDF
  • Assessing Relevance with Extensionally Defined Principles and Cases

    Bruce M. McLaren and Kevin D. Ashley, University of Pittsburgh

    316

    PDF

Computational Complexity of Reasoning

  • The Complexity of Restricted Consequence Finding and Abduction

    Alvaro del Val, Universidad Autónoma de Madrid

    337

    PDF
  • Tractable Classes for Directional Resolution

    Alvaro del Val, Universidad Autónoma de Madrid

    343

    PDF
  • Compilability of Abduction

    Paolo Liberatore and Marco Schaerf, Universit&eagrave; di Roma "La Sapienza"

    349

    PDF

Decision Theory

  • Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

    Craig Boutilier, Ray Reiter, and Mikhail Soutchanski, University of Toronto; Sebastian Thrun, Carnegie Mellon University

    355

    PDF
  • Making Rational Decisions Using Adaptive Utility Elicitation

    Urszula Chajewska, Daphne Koller, and Ronald Parr, Stanford University

    363

    PDF
  • Back to the Future for Consistency-Based Trajectory Tracking

    James Kurien, NASA Ames Research Center; P. Pandurang Nayak, PurpleYogi.com and RIACS

    370

    PDF
  • Sampling Methods for Action Selection in Influence Diagrams

    Luis E. Ortiz, Brown University and Leslie Pack Kaelbling, Massachusetts Institute of Technology

    378

    PDF

Logic

  • Answering Queries Using Views over Description Logics Knowledge Bases

    Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini, Universit&eagrave; di Roma "La Sapienza"

    386

    PDF
  • A Consistency-Based Model for Belief Change: Preliminary Report

    James P. Delgrande, Simon Fraser University; Torsten Schaub, Universität Potsdam

    392

    PDF
  • A Conjunctive Query Language for Description Logic Aboxes

    Ian Horrocks and Sergio Tessaris, University of Manchester

    399

    PDF

Nonmonotonic Reasoning

  • A Flexible Framework for Defeasible Logics

    G. Antoniou, D. Billington, G. Governatori, and M. J. Maher, Griffith University

    405

    PDF
  • Towards a Logic-Based Theory of Argumentation

    Philippe Besnard, Université Paul Sabatier; Anthony Hunter, University College London

    411

    PDF
  • Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas

    Uwe Egly, Thomas Eiter, Hans Tompits, and Stefan Woltran, Technische Universität Wien

    417

    PDF
  • Total Knowledge

    Ian Pratt-Hartmann, University of Manchester

    423

    PDF
  • Computing Circumscriptive Databases by Integer Programming: Revisited

    Ken Satoh and Hidenori Okamoto, Hokkaido University

    429

    PDF

Ontology

  • Using Prior Knowledge: Problems and Solutions

    Vinay K. Chaudhri, Mark E. Stickel, Jerome F. Thomere, and Richard J. Waldinger, SRI International

    436

    PDF
  • Dynamic Ontologies on the Web

    Jeff Heflin and James Hendler, University of Maryland

    443

    PDF
  • PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment

    Natalya Fridman Noy and Mark Musen, Stanford University

    450

    PDF

Reasoning about Actions and Time

  • (De)Composition of Situation Calculus Theories

    Eyal Amir, Stanford University

    456

    PDF
  • Disjunctive Temporal Reasoning in Partially Ordered Models of Time

    Mathias Broxvall and Peter Jonsson, Linköpings Universitet

    464

    PDF
  • An Interval Algebra for Indeterminate Time

    Wes Cowley, University of South Florida; Dimitris Plexousakis, University of Crete and ICS-FORTH

    470

    PDF
  • cc-Golog: Towards More Realistic Logic-Based Robot Controllers

    Henrik Grosskreutz and Gerhard Lakemeyer, Aachen University of Technology

    476

    PDF
  • What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems

    Sheila A. McIlraith, Stanford University; Richard Scherl, New Jersey Institute of Technology

    483

    PDF
  • Execution of Temporal Plans with Uncertainty

    Paul Morris, Caelum Research Corporation / NASA Ames Research Center; Nicola Muscettola, NASA Ames Research Center

    491

    PDF
  • Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains and a Case Study

    Michael Thielscher, Dresden University of Technology

    497

    PDF

Spatial Reasoning

  • Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions

    Brandon Bennett, Anthony G. Cohn, Paolo Torrini, and Shyamanta Hazarika, University of Leeds

    503

    PDF
  • GeoRep: A Flexible Tool for Spatial Representation of Line Drawings

    Ronald W. Ferguson and Kenneth D. Forbus, Northwestern University

    510

    PDF
  • STA: Spatio-Temporal Aggregation with Applications to Analysis of Diffusion-Reaction Phenomena

    Iván Ordóñez, The Ohio State University; Feng Zhao, Xerox Palo Alto Research Center

    517

    PDF

Uncertainty

  • On the Recognition of Abstract Markov Policies

    Hung H. Bui, Svetha Venkatesh, and Geoff West, Curtin University of Technology

    524

    PDF
  • Bayesian Fault Detection and Diagnosis in Dynamic Systems

    Uri Lerner, Ronald Parr, and Daphne Koller, Stanford University; Gautam Biswas, Vanderbilt University

    531

    PDF
  • Semantics and Inference for Recursive Probability Models

    Avi Pfeffer, Harvard University; Daphne Koller, Stanford University

    538

    PDF
  • Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods

    Raúl Trejo and Vladik Kreinovich, University of Texas at El Paso; Chitta Baral, Arizona State University

    545

    PDF

Primary Sidebar