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
Internet Agents
Multiagent Learning
Multiagent Problem Solving
Nearly Monotonic Problems: A Key to Effective FA/C Distributed Sensor Interpretation?
PDFAnalysis of Utility-Theoretic Heuristics for Intelligent Adaptive Network Routing
PDFThe Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets
PDFTotal-Order Multi-Agent Task-Network Planning for Contract Bridge
PDF
Negotiation & Coalition
AI in Art and Entertainment: Video
Constraint Satisfaction
Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge
PDFRussian Doll Search for Solving Constraint Optimization Problems
PDFEnhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem
PDFApproximate Resolution of Hard Numbering Problems
PDF
Data Consistency
Game-Tree Search
Searching Game Trees Under Memory Constraints
PDFPartition Search
PDFExploiting Graph Properties of Game Trees
PDFForward Estimation for Game-Tree Search
PDFThe Constrainedness of Search
PDFExploiting a Theory of Phase Transitions in Three-Satisfiability Problems
PDFA Second Order Parameter for 3SAT
PDFThe Very Particular Structure of the Very Hard Instances
PDF
Search Control
Search & Learning
Stochastic Search
Constraint Satisfaction Using a Hybrid Evolutionary Hill-Climbing Algorithm that Performs Opportunistic Arc and Path Revision
PDFAdding New Clauses for Faster Local Search
PDFWeighting for Godot: Learning Heuristics for GSAT
PDFDuplication of Coding Segments in Genetic Programming
PDFA Graph-Based Method for Improving GSAT
PDFTuning Local Search for Satisfiability Testing
PDFTabu Search Techniques for Large High-School Timetabling Problems
PDFCombining Local Search and Backtracking Techniques for Constraint Satisfaction
PDF
Temporal Resoning
Education
Information Retrieval & Natural Language Processing
Knowledge-Based Systems
Knowledge Compilation
Knowledge Representation Abstraction
Knowledge Representation Belief & Belief Revision
Verification of Knowledge Bases Based on Containment Checking
PDFClosed Terminologies in Description Logics
PDFA Semantic Characterization of an Algorithm for Estimating Others’ Beliefs from Observation
PDFWhat Is Believed Is What Is Explained (Sometimes)
PDFThe Complexity of Model Checking for Belief Revision and Update
PDFUpdating Knowledge Bases with Disjunctive Information
PDFIrrelevance and Conditioning in First-Order Probabilistic Logic
PDF
Description Logics & Probabilistic Reasoning
Knowledge Bases & Context
Nonmonotonic Reasoning
Toward Efficient Default Reasoning
PDFSituation Calculus on a Dense Flow of Time
PDFReasoning about Continuous Processes
PDFSplitting a Default Theory
PDFFormalizing Narratives Using Nested Circumscription
PDFReasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
PDFOn the Range of Applicability of Baker’s Approach to the Frame Problem
PDFEmbracing Causality in Specifying the Indeterminate Effects of Actions
PDF
Case-based Reasoning
Decision Trees
Discovery
The Discovery of the Causes of Leprosy: A Computational Analysis
PDFMachine Discovery Based on Numerical Data Generated in Computer Experiments
PDFUsing a Hybrid Genetic Algorithm and Fuzzy Logic for Metabolic Modeling
PDFIncremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles
PDF
Enhancing Efficiency
Fundamental Issues
Inductive Learning
Learning Knowledge Bases
Planning
Design and Implementation of a Replay Framework Based on a Partial Order Planner
PDFIs There Any Need for Domain-Dependent Control Information?: A Reply
PDFSearching for Planning Operators with Context-Dependent and Probabilistic Effects
PDFMulti-Strategy Learning of Search Control for Partial-Order Planning
PDF