Book One: All Papers
Technical Papers
Verifying that Agents Implement a Communication Language
PDFAI & the World Wide WebRecognizing Structure in Web Pages Using Similarity Queries
PDFNavigational Plans for Data Integration
PDFRegression Testing for Wrapper Maintenance
PDFA Knowledge-Based Approach to Organizing Retrieved Documents
PDFA Limitation of the Generalized Vickrey Auction in Electronic Commerce: Robustness against False-Name Bids
PDFHybrid Neural Plausibility Networks for News Agents
PDFTime-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract Types
PDFPower, Dependence and Stability in Multiagent Plans
PDFCombatting Maelstroms in Networks of Communicating Agents
PDFLearning Quantitative Knowledge for Multiagent Coordination
PDFDistributed Games: From Mechanisms to Protocols
PDFEvolutionary Economic Agents
PDFBargaining with Deadlines
PDF
Cognitive Systems
Cognitive Classification
PDFWhat Are Contentful Mental States? Dretske’s Theory of Mental Content Viewed in the Light of Robot Learning and Planning Algorithms
PDFStudent-Sensitive Multimodal Explanation Generation for 3D Learning Environments
PDFMoving Right Along: A Computational Model of Metaphoric Reasoning about Events
PDFDelivering Hints in a Dialogue-Based Intelligent Tutoring System
PDF
Constraint Satisfaction Problems
On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization
PDFHierarchical Constraint Satisfaction in Spatial Databases
PDFA Constraint-Based Model for Cooperative Response Generation in Information Dialogues
PDFSolving Crossword Puzzles as Probabilistic Constraint Satisfaction
PDFEncodings of Non-Binary Constraint Satisfaction Problems
PDFA Generic Customizable Framework for Inverse Local Consistency
PDFFunctional Elimination and 0/1/All Constraints
PDF
Hybrid Methods
Initializing RBF-Networks with Small Subsets of Training Examples
PDFA Neural Network Model of Dynamically Fluctuating Perception of Necker Cube as well as Dot Patterns
PDFWhat’s in a Fuzzy Set?
PDFARGUS: An Automated Multi-Agent Visitor Identification System
PDFImplicative and Conjunctive Fuzzy Rules — A Tool for Reasoning from Knowledge and Examples
PDFAn Evolvable Hardware Chip and Its Application as a Multi-Function Prosthetic Hand Controller
PDF
Knowledge Representation
Does Prior Knowledge Facilitate the Development of Knowledge-Based Systems?
PDFRepresenting Problem-Solving for Knowledge Refinement
PDFDeriving Expectations to Guide Knowledge Base Creation
PDFDesigning Scripts to Guide Users in Modifying Knowledge-Based Systems
PDFAn Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents
PDFA New Method for Consequence Finding and Compilation in Restricted Languages
PDFConstraint-Based Integrity Checking in Abductive and Nonmonotonic Extensions of Constraint Logic Programming
PDFPartonomic Reasoning as Taxonomic Reasoning in Medicine
PDFVerbalization of High-Level Formal Proofs
PDFOn Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences
PDFA Policy Description Language
PDFA Semantic Decomposition of Defeasible Logics
PDFSacre: A Constraint Satisfaction Problem Based Theorem Prover
PDF
Learning
Relational Learning of Pattern-Match Rules for Information Extraction
PDFA Simple, Fast, and Effective Rule Learner
PDFMonte Carlo Localization: Efficient Position Estimation for Mobile Robots
PDFDetecting Feature Interactions from Accuracies of Random Feature Subsets
PDFSimulation-Based Inference for Plan Monitoring
PDFSelective Sampling for Nearest Neighbor Classifiers
PDFToward a Theoretical Understanding of Why and When Decision Tree Pruning Algorithms Fail
PDFFeature Selection for Ensembles
PDFEfficient Exploration for Optimizing Immediate Reward
PDFExploiting the Architecture of Dynamic Systems
PDFEstimating Generalization Error Using Out-of-Bag Estimates
PDF
Model-Based Reasoning
Natural Language and Information Retrieval
Learning Dictionaries for Information Extraction by Multi-Level Bootstrapping
PDFFeature Selection in SVM Text Categorization
PDFAutomatic Construction of Semantic Lexicons for Learning Natural Language Interfaces
PDFThe Role of Lexicalization and Pruning for Base Noun Phrase Grammars
PDFTwo Dimensional Generalization in Information Extraction
PDFCombining Collaborative Filtering with Personal Agents for Better Recommendations
PDFApplication-Embedded Retrieval from Distributed Free-Text Collections
PDFTowards Multidocument Summarization by Reformulation: Progress and Prospects
PDFAn Automatic Method for Generating Sense Tagged Corpora
PDFSelecting Text Spans for Document Summaries: Heuristics and Metrics
PDF
Planning
Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
PDFFast Planning through Greedy Action Graphs
PDFControl Knowledge in Planning: Benefits and Tradeoffs
PDFA Framework for Recognizing Multi-Agent Action from Visual Evidence
PDFState-Space Planning by Integer Optimization
PDFUsing Planning Graphs for Solving HTN Planning Problems
PDFOn the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems
PDFContingent Planning Under Uncertainty via Stochastic Satisfiability
PDFOn the Utility of Plan-Space (Causal) Encodings
PDFAnytime Coordination for Progressive Planning Agents
PDFGenerating Qualitatively Different Plans through Metatheoretic Biases
PDFConditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms
PDFCPlan: A Constraint Programming Approach to Planning
PDFTotal Order Planning Is More Efficient than We Thought
PDFCooperative Plan Identification: Constructing Concise and Effective Plan Descriptions
PDFExploiting Symmetry in the Planning-Graph via Explanation-Guided Search
PDF
Robotics
Satisfiability
Distance-SAT: Complexity and Algorithms
PDFBeyond NP: The QSAT Phase Transition
PDFMorphing: Combining Structure and Randomness
PDFOn the Run-Time Behaviour of Stochastic Local Search Algorithms for SAT
PDFInitial Experiments in Stochastic Satisfiability
PDFTrap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems
PDF
Scheduling
Scheduling Alternative Activities
PDFAlgorithms Performance and Problem Structure for Flow-Shop Scheduling
PDFUsing Probabilistic Knowledge and Simulation to Play Poker
PDFA Space-Time Tradeoff for Memory-Based Heuristics
PDFProverb: The Probabilistic Cruciverbalist
PDFValue-Update Rules for Real-Time Search
PDFTransposition Table Driven Work Scheduling in Distributed Search
PDF
Tractable Reasoning
AAAI-99 Intelilgent Systems Demos
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications
PDFIntelligent Agents in Computer Games
PDFHIKE (HPKB Integrated Knowledge Environment) — A Query Interface and Integrated Knowledge Environment for HPKB
PDFMailCat: An Intelligent Assistant for Organizing E-Mail
PDFeMediator: A Next Generation Electronic Commerce Server
PDFAutomated Team Analysis
PDFDemonstration of Rational Communicative Behavior in Coordinated Defense
PDFAuthoring New Material in a Reading Tutor that Listens
PDFWorldwide Aeronautical Route Planner
PDFSolving Crosswords with Proverb
PDFContent-Based Retrieval from Medical Image Databases: A Synergy of Human Interaction, Machine Learning and Computer Vision
PDFA System for the Semantic Interpretation of Unrestricted Domains using WordNet
PDFA Natural-Language Speech Interface Constructed Entirely as a Set of Executable Specifications
PDFTRIPS: The Rochester Interactive Planning System
PDFKnowledge Base Discovery Tool*
PDFSMILE: Structural Modeling, Inference, and Learning Engine and GeNIe: A Development Environment for Graphical Decision-Theoretic Models
PDFThe Disciple Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents
PDFSensible Agents: Demonstration of Dynamic Configuration of Agent Organizations for Responsive Planning Operations
PDFUsing Vision to Improve Sound Source Separation
PDF
Robot Competition and Exhibition
1999 SIGART/AAAI Doctoral Consortium
Elaboration Tolerance of Logical Theories
PDFApproximation Algorithms for Solving Cost Observable Markov Decision Processes
PDFUsing Formal Meta-Data Descriptions for Automated Ecological Modeling
PDFModeling Higher Cognitive Functions with Hebbian Cell Assemblies
PDFLearning Form-Meaning Mappings for Language
PDFDevelopment of a Methodology and Software Shell for the Automatic Generation of Intelligent Tutoring Systems from Existing Generic Task-Based Expert Systems
PDFTowards Bounded Optimal Meta-Level Control: A Case Study
PDFExecution Monitoring and Diagnosis in Multi-Agent Environments
PDFCorpus-Based Induction of Lexical Representation and Meaning
PDFData Driven Profiling of Dynamic System Behavior Using Hidden Markov Model Based Combined Unsupervised and Supervised Classification
PDFPlanning under Uncertainty via Stochastic Satisfiability
PDFApplying Supervised Learning to Real-World Problems
PDFModeling Prosody Automatically in Concept-to-Speech Generation
PDFA Bayesian Approach to Object Identification
PDFOver-Constrained Systems
PDFReasoning about Sensing Actions and Reactivity
PDF
Student Abstracts
Word Sense Disambiguation for Information Retrieval
PDFLearning Rewrite Rules to Improve Plan Quality
PDFLearning to Handle Inconsistency for Multi-Source Integration
PDFInvestigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning
PDFLearning State Features from Policies to Bias Exploration in Reinforcement Learning
PDFComparison of Second-Order Polynomial Model Selection Methods: An Experimental Survey
PDFMinimal Cost Complexity Pruning of Meta-Classifiers
PDFA Representation Reducing Approach to Scientific Discovery
PDFExternalizing Internal State
PDFLearning of Compositional Hierarchies by Data-Driven Chunking
PDFDecision-Theoretic Layered Robotic Control Architecture
PDFActive Learning for Hierarchical Wrapper Induction
PDFInteracting with a Pet Robot Using Hand Gestures
PDFCausal Discovery from Population-Based Infant Birth and Death Records
PDFHybrid Propositional Encodings of Planning
PDFText Compression as a Test for Artificial Intelligenc
PDFLearning in Broker Agent
PDFAutonomous Discovery in Empirical Domains
PDFKnowledge Base Revision through Exception-Driven Discovery and Learning
PDFComparison of Clustering Metrics and Unsupervised Learning Algorithms on Genome-Wide Gene Expression Level Data
PDFRobot Navigation with a Polar Neural Map
PDFA Framework for Problem Solving Activities in Multi-Agent Systems
PDFExpectation-Based Learning in Design
PDFOBDD-Based Planning with Real-Valued Variables in Non-Deterministic Environments
PDFUsing Neural Networks in Agent Teams to Speed Up Solution Discovery for Hard Multi-Criteria Problems
PDFLearning Design Guidelines by Theory Refinement
PDFStructural Knowledge Discovery in Chemical and Spatio-Temporal Databases
PDFAutomatic Sample-by-Sample Model Selection Between Two Off-the-Shelf Classifiers
PDFApplying Genetic Algorithms to Pronoun Resolution
PDF