Book One
Constraint Satisfaction
The Yard Allocation Problem
PDFIntegrating Local Search and Network Flow to Solve the Inventory Routing Problem
PDFGenerating Random Solutions for Constraint Satisfaction Problems
PDFGraph Coloring with Quantum Heuristics
PDFReducing Search Space in Local Search for Constraint Satisfaction
PDFPreference-Based Search and Multi-Criteria Optimization
PDFHuman-Guided Tabu Search
PDFNode and Arc Consistency in Weighted CSP
PDFModel Induction: A New Source of CSP Model Redundancy
PDF
Knowledge Representation
Measuring Inconsistency in Knowledge via Quasi-Classical Models
PDFA Hoare-Style Proof System for Robot Programs
PDFRepresenting and Reasoning about Mappings between Domain Models
PDFA Regression Based Adaptation Strategy for Case-Based Reasoning
PDFCluster Ensembles – A Knowledge Reuse Framework for Combining Partitionings
PDFLogic Programming with Ordered Disjunction
PDFA Three-Valued Characterization for Strong Equivalence of Logic Programs
PDFASSAT: Computing Answer Sets of a Logic Program by SAT Solvers
PDFOn Computing all Abductive Explanations
PDF
Learning
Hierarchical Latent Class Models for Cluster Analysis
PDFExtended Isomap for Pattern Classification
PDFRule-Based Anomaly Pattern Detection for Detecting Disease Outbreaks
PDFConstrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks
PDFPolynomial-Time Reinforcement Learning of Near-Optimal Policies
PDFReinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization
PDFMinimum Majority Classification and Boosting
PDFConstructive Adaptive User Interfaces – Composing Music Based on Human Feelings
PDFContent-Boosted Collaborative Filtering for Improved Recommendations
PDFState Abstraction for Programmable Reinforcement Learning Agents
PDFBootstrap Learning for Place Recognition
PDFStructural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers
PDFLearning Temporal, Relational, Force-Dynamic Event Definitions from Video
PDFSpecific-to-General Learning for Temporal Events
PDFPruning and Dynamic Scheduling of Cost-Sensitive Ensembles
PDFProgressive Rademacher Sampling
PDFData Perturbation for Escaping Local Maxima in Learning
PDFContentful Mental States for Robot Baby
PDF
Markov Decision Processes
A POMDP Formulation of Preference Elicitation Problems
PDFSegmenting Time Series with a Hybrid Neural Networks – Hidden Markov Model
PDFContext-Specific Multiagent Coordination and Planning with Factored MDPs
PDFNearly Deterministic Abstractions of Markov Decision Processes
PDFThe Size of MDP Factored Policies
PDFOn Policy Iteration as a Newton’s Method and Polynomial Policy Iteration Algorithms
PDFEfficient Utility Functions for Ceteris Paribus Preferences
PDFGreedy Linear Value-Approximation for Factored Markov Decision Processes
PDFPiecewise Linear Value Function Approximation for Factored MDPs
PDFBayesian Networks for Speech and Image Integration
PDFValue Iteration Working with Belief Subsets
PDF
Multiagent Systems
The Design of Collectives of Agents to Control Non-Markovian Systems
PDF(Im)possibility of Safe Exchange Mechanism Design
PDFMulti-Agent Algorithms for Solving Graphical Games
PDFDistributed Breakout Revisited
PDFComplexity of Manipulating Elections with Few Candidates
PDFA Logic-Based Model of Intentions for Multi-Agent Subcontracting
PDFReinforcement Learning of Coordination in Cooperative Multi-Agent Systems
PDF
Auctions
Solving Concisely Expressed Combinatorial Auction Problems
PDFPartial-Revelation VCG Mechanism for Combinatorial Auctions
PDFBidding Clubs in First-Price Auctions
PDFTruthful Approximation Mechanisms for Restricted Combinatorial Auctions
PDFStructural Leverage and Fictitious Play in Sequential Auctions
PDF
Game Theory
Natural Language Processing
Planning
Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning
PDFD*Lite
PDFSpeeding Up the Calculation of Heuristics for Heuristic Search-Based Planning
PDFIterative-Refinement for Action Timing Discretization
PDFA Logical Measure of Progress for Planning
PDFPlanning with a Language for Extended Goals
PDFSymbolic Heuristic Search for Factored Markov Decision Processes
PDFPlan Evaluation with Incomplete Action Descriptions
PDF
Actions and Temporal Reasoning
Probabilistic and Causal Reasoning
Visual Exploration and Incremental Utility Elicitation
PDFA Graphical Criterion for the Identification of Causal Effects in Linear Models
PDFA Distance Measure for Bounding Probabilistic Belief Change
PDFStrategies for Determining Causes of Events
PDFTree Approximation for Belief Updating
PDFAccuracy Versus Efficiency Trade-offs in Probabilistic Diagnosis
PDFA General Identification Condition for Causal Effects
PDFA New Characterization of the Experimental Implications of Causal Bayesian Networks
PDF
Robotics
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems
PDFRobust Global Localization Using Clustered Particle Filtering
PDFExperiences with a Mobile Robotic Guide for the Elderly
PDFFastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem
PDFWatch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot Soccer
PDF
Satisfiability
Enhancing Davis Putnam with Extended Binary Clause Reasoning
PDFComparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems
PDFA Compiler for Deterministic, Decomposable Negation Normal Form
PDFInference Methods for a Pseudo-Boolean Satisfiability Solver
PDFAutomated Discovery of Composite SAT Variable-Selection Heuristics
PDFLearning for Quantified Boolean Logic Satisfiability
PDFAn Adaptive Noise Mechanism for WalkSAT
PDFA Mixture-Model for the Behaviour of SLS Algorithms for SAT
PDFSetA*: An Efficient BDD-Based Heuristic Search Algorithm
PDFDynamic Restart Policies
PDFUsing Weighted MAX-SAT Engines to Solve MPE
PDFEasy Predictions for the Easy-Hard-Easy Transition
PDFThe Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT
PDF
Search
Memory-Efficient A* Heuristics for Multiple Sequence Alignment
PDFPROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions
PDFOn Preference-Based Search in State Space Graphs
PDFAn Average-Case Analysis of Graph Search
PDFScheduling Contract Algorithms on Multiple Processors
PDFSearching for Backbones and Fat: A Limit-Crossing Approach with Applications
PDFMultiple-Goal Search Algorithms and their Application to Web Crawling
PDFOptimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent Processes
PDFOptimal Depth-First Strategies for And-Or Trees
PDFA New Algorithm for Optimal Bin Packing
PDF
Vision
Web and Information Extraction
Innovative Applications of Artificial Intelligence Papers Deployed Applications
MiTAP, Text and Audio Processing for Bio-Security: A Case Study
PDFRightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge Base
PDFStaff Scheduling for Inbound Call Centers and Customer Contact Centers
PDFA Decision-Support System for Quote Generation
PDFUTTSExam: A Campus-Wide University Exam-Timetabling System
PDFA Structure Based Configuration Tool: Drive Solution Designer – DSD
PDFDevelopment and Deployment of a Disciple Agent for Center of Gravity Analysis
PDF
Emerging Applications
Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments
PDFToward Practical Knowledge-Based Tools for Battle Planning and Scheduling
PDFKnowledge Formation and Dialogue Using the KRAKEN Toolset
PDFAI on the Battlefield: An Experimental Exploration
PDFIntelligent Control of Auxiliary Ship Systems
PDFComputational Vulnerability Analysis for Information Survivability
PDFA Web-Based Ontology Browsing and Editing System
PDFThe 2001 Trading Agent Competition
PDFGetting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel
PDFWhyNot: Debugging Failed Queries in Large Knowledge Bases
PDFAn Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning
PDF
Student Abstracts
Multiple Sequence Alignment Using Anytime A*
PDFIncrementally Solving Functional Constraints
PDFConsistency and Set Intersection
PDFAn Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent Systems
PDFStudent Modeling for a Web-Based Learning Environment: A Data Mining Approach
PDFLocalizing while Mapping: A Segment Approach
PDFOptimizing Parameter Learning Using Temporal Differences
PDFBN-Tools: A Software Toolkit for Experimentation in BBNs
PDFMulti-Player Game Approach to Solving Multi-Entity Problems
PDFMultiple Instance Learning with Generalized Support Vector Machines
PDFMAKEBELIEVE: Using Commonsense Knowledge to Generate Stories
PDFAnalogical Inference over a Common Sense Database
PDFA Model Checker for Verifying ConGolog Programs
PDFA Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure Learning
PDFFuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive Maps
PDFMixed-Initiative Exception-Based Learning for Knowledge Base Refinement
PDFToward a Framework for Assembling Broken Pottery Vessels
PDF
SIGART/AAAI Doctoral Consortium
Decision-Theoretic Planning for Intelligent User Interfaces
PDFEfficient Modeling of Temporally Variable User Properties with Dynamic Bayesian Networks
PDFLearning in Open-Ended Dynamic Distributed Environments
PDFDynamic Bayesian Networks for Automatic Speech Recognition
PDFCombining Inference and Search for the Propositional Satisfiability Problem
PDFA Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference Problems
PDFAn Agent Approach to Security in Pervasive Environments
PDFGeneralized Features: Their Application to Classification
PDFOrganizations of Self-Interested Agents
PDFDistributed Constraint Optimization and Its Application to Multiagent Resource Allocation
PDFGenerating Trading Agent Strategies
PDFA Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic Marketplaces
PDFA Dialogue System with Digression Handling – An Ontology-Based Approach
PDF
Intelligent Systems Demonstrations
Research Applications of the MAGNET Multi-Agent Contracting Testbed
PDFSpeechWeb: A Web of Natural-Language Speech Applications
PDFFlexBot, Groo, Patton and Hamlet: Research Using Computer Games as a Platform
PDFUTTSExam: A University Examination Timetable Scheduler
PDFMulti-ViewPoint Clustering Analysis (MVP-CA) Tool
PDFFuzzy Neural Networks in a Palm Environment
PDFCAUI Demonstration — Composing Music Based on Human Feelings
PDFAn Automated Negotiator for an International Crisis
PDFDisciple-RKF/COG: Agent Teaching by Subject Matter Experts
PDFJYAG and IDEY: A Template-Based Generator and Its Authoring Tool
PDF