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

Proceedings of the Thirteenth National Conference on Artificial Intelligence

The annual AAAI National Conference provides a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. Topics cover principles of cognition, perception, and action; the design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analysis of tasks and domains in which intelligent systems perform. New this year is an Integrated AI Systems Track, which recognizes the importance to the AI field of the shared goal of building "artificial intelligences" that perform valued activities in real environments by integrating capabilities from AI's diverse subdisciplines.

Interaction

  • Agent Amplified Communication

    Henry Kautz, Bart Selman, Al Milewski

    PDF
  • The ContactFinder Agent: Answering Bulletin Board Questions with Referrals

    Bruce Krulwich, Chad Burkey

    PDF
  • Deciding to Remind during Collaborative Problem Solving: Empirical Evidence for Agent Strategies

    Pamela W. Jordan, Marilyn A. Walker

    PDF
  • Toward a Semantics for an Agent Communications Language Based on Speech-Acts

    Ira A. Smith, Philip R. Cohen

    PDF

Internet Agents

  • Query-Answering Algorithms for Information Agents

    Alon Y. Levy, Anand Rajaraman, Joann J. Ordille

    PDF
  • Hybrid Hill-Climbing and Knowledge-Based Methods for Intelligent News Filtering

    Kenrick J. Mock

    PDF
  • Syskill and Webert: Identifying Interesting Web Sites

    Michael J. Pazzani, Jack Muramatsu, Daniel Billsus

    PDF
  • Planning to Gather Information

    Chung T. Kwok, Daniel S. Weld

    PDF

Multiagent Learning

  • Learning Models of Intelligent Agents

    David Carmel, Shaul Markovitch

    PDF
  • Cooperative Learning over Composite Search Spaces: Experiences with a Multi-Agent Design System

    M V Nagendra Prasad, Susan E. Lander, Victor R. Lesser

    PDF
  • Scaling Up: Distributed Machine Learning with Cooperation

    Foster John Provost, Daniel N. Hennessy

    PDF
  • Tracking Dynamic Team Activity

    Milind Tambe

    PDF

Multiagent Problem Solving

  • Nearly Monotonic Problems: A Key to Effective FA/C Distributed Sensor Interpretation?

    Norman Carver, Victor Lesser, Robert Whitehair

    PDF
  • Analysis of Utility-Theoretic Heuristics for Intelligent Adaptive Network Routing

    Armin R. Mikler, Vasant Honavar, Johnny S. K. Wong

    PDF
  • The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets

    Vijay Rajan, James R. Slagle

    PDF
  • Total-Order Multi-Agent Task-Network Planning for Contract Bridge

    S. J. J. Smith, D. S. Nau, T. A. Throop

    PDF

Negotiation & Coalition

  • Learning other Agents’ Preferences in Multiagent Negotiation

    H. H. Bui, D. Kieronska, S. Venkatesh

    PDF
  • Incorporating Opponent Models into Adversary Search

    David Carmel, Shaul Markovitch

    PDF
  • Advantages of a Leveled Commitment Contracting Protocol

    Tuomas W. Sandholm, Victor R. Lesser

    PDF
  • A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results

    Onn Shehory, Sarit Kraus

    PDF

AI in Art and Entertainment: Video

  • Coping with Temporal Constraints in Multimedia Presentation Planning

    Elisabeth André, Thomas Rist

    PDF
  • Declarative Camera Control for Automatic Cinematography

    David B. Christianson, Sean E. Anderson, Li-Wei He, David H. Salesin, Daniel S. Weld, Michael F. Cohen

    PDF
  • A Model of Poetic Comprehension

    Kenneth Haase

    PDF
  • A Framework for Plot Control in Interactive Story Systems

    N. M. Sgouros, G. Papakonstantinou, P. Tsanakas

    PDF

Constraint Satisfaction

  • Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge

    Hélène Fargier, Jérôme Lang, Thomas Schiex

    PDF
  • Russian Doll Search for Solving Constraint Optimization Problems

    Gérard Verfaillie, Michel Lemaître, Thomas Schiex

    PDF
  • Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem

    Richard J. Wallace

    PDF
  • Approximate Resolution of Hard Numbering Problems

    Olivier Bailleux, Jean-Jacques Chabrier

    PDF

Data Consistency

  • Path-Consistency: When Space Misses Time

    Assef Chmeiss, Philippe Jégou

    PDF
  • Neighborhood Inverse Consistency Preprocessing

    Eugene C. Freuder, Charles D. Elfe

    PDF
  • Generalized Arc Consistency for Global Cardinality Constraint

    Jean-Charles Régin

    PDF
  • Lazy Arc Consistency

    Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie

    PDF

Game-Tree Search

  • Searching Game Trees Under Memory Constraints

    Subir Bhattacharya, Amitava Bagchi

    PDF
  • Partition Search

    Matthew L. Ginsberg

    PDF
  • Exploiting Graph Properties of Game Trees

    Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

    PDF
  • Forward Estimation for Game-Tree Search

    Weixiong Zhang

    PDF
  • The Constrainedness of Search

    Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

    PDF
  • Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems

    David M. Pennock, Quentin F. Stout

    PDF
  • A Second Order Parameter for 3SAT

    Tuomas W. Sandholm

    PDF
  • The Very Particular Structure of the Very Hard Instances

    Dan R. Vlasie

    PDF

Search Control

  • Heuristic-Biased Stochastic Sampling

    John L. Bresina

    PDF
  • Easy and Hard Testbeds for Real-Time Search Algorithms

    Sven Koenig, Reid G. Simmons

    PDF
  • Improved Limited Discrepancy Search

    Richard E. Korf

    PDF
  • Efficient Goal-Directed Exploration

    Yury Smirnov, Sven Koenig, Manuela M. Veloso, Reid G. Simmons

    PDF

Search & Learning

  • Improving the Learning Efficiencies of Realtime Search

    Toru Ishida, Masashi Shimbo

    PDF
  • Dynamic Improvements of Heuristic Evaluations during Search

    Gerhard Kainz, Hermann Kaindl

    PDF
  • Inference-Based Constraint Satisfaction Supports Explanation

    Mohammed H. Sqalli, Eugene C. Freuder

    PDF
  • A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem

    Roberto J. Bayardo, Jr., Daniel P. Miranker

    PDF

Stochastic Search

  • Constraint Satisfaction Using a Hybrid Evolutionary Hill-Climbing Algorithm that Performs Opportunistic Arc and Path Revision

    James Bowen, Gerry Dozier

    PDF
  • Adding New Clauses for Faster Local Search

    Byungki Cha, Kazuo Iwama

    PDF
  • Weighting for Godot: Learning Heuristics for GSAT

    Jeremy Frank

    PDF
  • Duplication of Coding Segments in Genetic Programming

    Thomas Haynes

    PDF
  • A Graph-Based Method for Improving GSAT

    Kalev Kask, Rina Dechter

    PDF
  • Tuning Local Search for Satisfiability Testing

    Andrew J. Parkes, Joachim P. Walser

    PDF
  • Tabu Search Techniques for Large High-School Timetabling Problems

    Andrea Schaerf

    PDF
  • Combining Local Search and Backtracking Techniques for Constraint Satisfaction

    Jian Zhang, Hantao Zhang

    PDF

Temporal Resoning

  • A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks

    Christian Bessière

    PDF
  • A Representation for Efficient Temporal Reasoning

    James P. Delgrande, Arvind Gupta

    PDF
  • Maximal Tractable Subclasses of Allen’s Interval Algebra: Preliminary Report

    Thomas Drakengren, Peter Jonsson

    PDF
  • A New Proof of Tractability for ORD-Horn Relations

    Gérard Ligozat

    PDF

Education

  • A Novel Application of Theory Refinement to Student Modeling

    Paul T. Baffes, Raymond J. Mooney

    PDF
  • A Simulation-Based Tutor that Reasons about Multiple Agents

    Christopher Rhodes Eliot III, Beverly Park Woolf

    PDF
  • Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies

    James C. Lester, Bruce W. Porter

    PDF
  • Dynamically Sequencing an Animated Pedagogical Agent

    Brian A. Stone, James C. Lester

    PDF

Information Retrieval & Natural Language Processing

  • Interactive Information Retrieval Systems with Minimalist Representation

    Eric Domeshek, Smadar Kedar, Andrew Gordon

    PDF
  • Learning Word Meanings by Instruction

    Kevin Knight

    PDF
  • Significant Lexical Relationships

    Ted Pedersen, Mehmet Kayaalp, Rebecca Bruce

    PDF
  • Machine Learning of User Profiles: Representational Issues

    Eric Bloedorn, Inderjeet Mani, T. Richard MacMillan

    PDF

Knowledge-Based Systems

  • Knowledge-Based Navigation of Complex Information Spaces

    Robin D. Burke, Kristian J. Hammond, Benjamin C. Young

    PDF
  • Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition

    Yolanda Gil, Eric Melz

    PDF
  • CommonKADS Models for Knowledge-Based Planning

    John Kingston, Nigel Shadbolt, Austin Tate

    PDF
  • Detecting Knowledge Base Inconsistencies Using Automated Generation of Text and Examples

    Vibhu O. Mittal, Johanna D. Moore

    PDF

Knowledge Compilation

  • Path-Based Rules in Object-Oriented Programming

    James M. Crawford, Daniel Dvorak, Diane Litman, Anil Mishra, Peter F. Patel-Schneider

    PDF
  • Approximate Knowledge Compilation: The First Order Case

    Alvaro del Val

    PDF
  • A New Algorithm for Computing Theory Prime Implicates Compilations

    Pierre Marquis, Samira Sadaoui

    PDF
  • Compilation for Critically Constrained Knowledge Bases

    Robert Schrag

    PDF

Knowledge Representation Abstraction

  • Spatial Aggregation: Language and Applications

    Christopher Bailey-Kellogg, Feng Zhao, Kenneth Yip

    PDF
  • Computing Abstraction Hierarchies by Numerical Simulation

    Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh

    PDF
  • Hierarchical A*: Searching Abstraction Hierarchies Efficiently

    Robert C. Holte, M. B. Perez, R. M. Zimmer, A. J. MacDonald

    PDF
  • Commitment Strategies in Hierarchical Task Network Planning

    Reiko Tsuneto, Kutluhan Erol, James Hendler, Dana Nau

    PDF

Knowledge Representation Belief & Belief Revision

  • Verification of Knowledge Bases Based on Containment Checking

    Alon Y. Levy, Marie-Christine Rousset

    PDF
  • Closed Terminologies in Description Logics

    Robert A. Weida

    PDF
  • A Semantic Characterization of an Algorithm for Estimating Others’ Beliefs from Observation

    Hideki Isozaki, Hirofumi Katsuno

    PDF
  • What Is Believed Is What Is Explained (Sometimes)

    Renwei Li, Luís Moniz Pereira

    PDF
  • The Complexity of Model Checking for Belief Revision and Update

    Paolo Liberatore, Marco Schaerf

    PDF
  • Updating Knowledge Bases with Disjunctive Information

    Yan Zhang, Norman Y. Foo

    PDF
  • Irrelevance and Conditioning in First-Order Probabilistic Logic

    Daphne Koller, Joseph Y. Halpern

    PDF

Description Logics & Probabilistic Reasoning

  • The Limits on Combining Recursive Horn Rules with Description Logics

    Alon Y. Levy, Marie-Christine Rousset

    PDF

Knowledge Bases & Context

  • Quantificational Logic of Context

    Sasa Buvac

    PDF
  • Utilizing Knowledge-Base Semantics in Graph-Based Algorithms

    Adnan Darwiche

    PDF
  • Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection

    John O. Everett, Kenneth D. Forbus

    PDF
  • Contextual Reasoning Is NP-Complete

    Fabio Massacci

    PDF

Nonmonotonic Reasoning

  • Toward Efficient Default Reasoning

    David W. Etherington, James M. Crawford

    PDF
  • Situation Calculus on a Dense Flow of Time

    Akira Fusaoka

    PDF
  • Reasoning about Continuous Processes

    Christoph S. Herrmann, Michael Thielscher

    PDF
  • Splitting a Default Theory

    Hudson Turner

    PDF
  • Formalizing Narratives Using Nested Circumscription

    Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

    PDF
  • Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

    Guiseppe De Giacomo, Xiao Jun Chen

    PDF
  • On the Range of Applicability of Baker’s Approach to the Frame Problem

    G. Neelakantan Kartha

    PDF
  • Embracing Causality in Specifying the Indeterminate Effects of Actions

    Fangzhen Lin

    PDF

Case-based Reasoning

  • Improving Case Retrieval by Remembering Questions

    Richard Alterman, Daniel Griffin

    PDF
  • Acquiring Case Adaptation Knowledge: A Hybrid Approach

    David B. Leake, Andrew Kinley, David Wilson

    PDF
  • Detecting Discontinuities in Case-Bases

    Hideo Shimazu, Yosuke Takashima

    PDF
  • Source Selection for Analogical Reasoning: An Empirical Approach

    William A. Stubblefield, George F. Luger

    PDF

Decision Trees

  • Learning Trees and Rules with Set-Valued Features

    William W. Cohen

    PDF
  • Lazy Decision Trees

    Jerome H. Friedman, Ron Kohavi, Yeogirl Yun

    PDF
  • Bagging, Boosting, and C4. 5

    J. R. Quinlan

    PDF
  • An Efficient Algorithm for Finding Optimal Gain-Ratio Multiple-Split Tests on Hierarchical Attributes in Decision Tree Learning

    Hussein Almuallim, Yasuhiro Akiba, Shigeo Kaneda

    PDF

Discovery

  • The Discovery of the Causes of Leprosy: A Computational Analysis

    Vincent Corruble, Jean-Gabriel Ganascia

    PDF
  • Machine Discovery Based on Numerical Data Generated in Computer Experiments

    Tsuyoshi Murata, Masamichi Shimura

    PDF
  • Using a Hybrid Genetic Algorithm and Fuzzy Logic for Metabolic Modeling

    John Yen, Bogju Lee, James C. Liao

    PDF
  • Incremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles

    Jan M. Zytkow, Paul J. Fischer

    PDF

Enhancing Efficiency

  • Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search

    Subbarao Kambhampati

    PDF
  • Learning Efficient Rules by Maintaining the Explanation Structure

    Jihie Kim, Paul S. Rosenbloom

    PDF
  • Compilation of Non-Contemporaneous Constraints

    Robert E. Wray III, John E. Laird, Randolph M. Jones

    PDF

Fundamental Issues

  • Sequential Inductive Learning

    Jonathan Gratch

    PDF
  • Learning to Take Actions

    Roni Khardon

    PDF
  • Testing the Robustness of the Genetic Algorithm on the Floating Building Block Representation

    Robert K. Lindsay, Annie S. Wu

    PDF

Inductive Learning

  • Identifying and Eliminating Mislabeled Training Instances

    Carla E. Brodley, Mark A. Friedl

    PDF
  • Generation of Attributes for Learning Algorithms

    Yuh-Jyh Hu, Dennis Kibler

    PDF
  • Structural Regression Trees

    Stefan Kramer

    PDF

Learning Knowledge Bases

  • Discovering Robust Knowledge from Dynamic Closed-World Data

    Chun-Nan Hsu, Craig A. Knoblock

    PDF
  • Post-Analysis of Learned Rules

    Bing Liu, Wynne Hsu

    PDF
  • KI: A Tool for Knowledge Integration

    Kenneth S. Murray

    PDF

Planning

  • Design and Implementation of a Replay Framework Based on a Partial Order Planner

    Laurie H. Ihrig, Subbarao Kambhampati

    PDF
  • Is There Any Need for Domain-Dependent Control Information?: A Reply

    Steven Minton

    PDF
  • Searching for Planning Operators with Context-Dependent and Probabilistic Effects

    Tim Oates, Paul R. Cohen

    PDF
  • Multi-Strategy Learning of Search Control for Partial-Order Planning

    Tara A. Estlin, Raymond J. Mooney

    PDF

Reinforcement Learning

  • Learning Robust Plans for Mobile Robots from a Single Trial

    Sean P. Engelson

    PDF
  • An Average-Reward Reinforcement Learning Algorithm for Computing Bias-Optimal Policies

    Sridhar Mahadevan

    PDF
  • Auto-Exploratory Average Reward Reinforcement Learning

    DoKyeong Ok, Prasad Tadepalli

    PDF

Learning Video

  • Evolution-Based Discovery of Hierarchical Behaviors

    Justinian P. Rosca, Dana H. Ballard

    PDF

Primary Sidebar