Automated Reasoning
Distributed Artificial Intelligence
Constraint Satisfaction Problems
Complexity of K-Tree Structured Constraint Satisfaction Problems
PDFTree Decomposition with Applications to Constraint Processing
PDFSolving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method
PDFThe Complexity of Constraint Satisfaction in Prolog
PDFAn Algebraic Approach to Conflict Resolution in Planning
PDFSome Applications of Graph Bandwidth to Constraint Satisfaction Problems
PDFDynamic Constraint Satisfaction Problems
PDF
Distributed and Parallel Systems
Evidential Reasoning
Planning
Incremental, Approximate Planning
PDFAdmissible Criteria for Loop Control in Planning
PDFPractical Temporal Projection
PDFSynthesis of Reactive Plans for Multi-Path Environments
PDFMapping and Retrieval During Plan Reuse: A Validation Structure Based Approach
PDFA Theory of Plan Modification
PDFIntroducing the Tileworld: Experimentally Evaluating Agent Architectures
PDFGetting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition
PDFThe STRIPS Assumption for Planning Under Uncertainty
PDFABTWEAK: Abstracting a Nonlinear, Least Commitment Planner
PDFAn Approach to Reasoning About Continuous Change for Applications in Planning
PDFAnytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction
PDF