Seattle, Washington, USA
No papers match this filter.
Papers
On-Line Execution of cc-Golog Plans
Pages 12–17
On the Semantics of Knowledge Update
Pages 97–101
Updates, actions, and planning
Pages 119–123
Causality and Minimal Change Demystified
Pages 125–129
EPDL: A Logic for Causal Reasoning
Pages 131–137
A Perspective on Knowledge Compilation
Pages 175–181
Ontology Reasoning in the SHOQ(D) Description Logic
Pages 199–203
The SG Family: Extensions of Simple Conceptual Graphs
Pages 205–211
Matching under Side Conditions in Description Logics
Pages 213–217
Computing Least Common Subsumers in ALEN
Pages 219–223
FCA-MERGE: Bottom-Up Merging of Ontologies
Pages 225–233
Incomplete Tree Search using Adaptive Probing
Pages 235–240
Backbones in Optimization and Approximation
Pages 254–258
Cooperative Search and Nogood Recording
Pages 260–264
Search on High Degree Graphs
Pages 266–273
Improved bounds on the complexity of kB-consistency
Pages 303–307
Refining the Basic Constraint Propagation Algorithm
Pages 309–314
Making AC-3 an Optimal Algorithm
Pages 316–320
Temporal Constraint Reasoning With Preferences
Pages 322–326
Efficient Consequence Finding
Pages 359–369
Visual Analogy in Problem Solving
Pages 377–383
Reasoning about Categories in Conceptual Spaces
Pages 385–391
Simulating the Formation of Color Categories
Pages 393–399
Grounded Models as a Basis for Intuitive Reasoning
Pages 401–405
Perceptual Anchoring of Symbols for Action
Pages 407–415
Total-Order Planning with Partially Ordered Subtasks
Pages 425–429
Conditional progressive planning under uncertainty
Pages 431–437
One action is enough to plan
Pages 439–443
Reviving Partial Order Planning
Pages 459–465
Dynamic Control Of Plans With Temporal Uncertainty
Pages 494–501
Iterative Widening
Pages 523–527
Hierarchical Diagnosis Guided by Observations
Pages 573–577
A-System: Problem Solving through Abduction
Pages 591–595
A Comparative Study of Logic Programs with Preference
Pages 597–601
Reasoning with infinite stable models
Pages 603–609
Splitting Without Backtracking
Pages 611–616
Theorem Proving with Structured Theories
Pages 624–633
Max-norm Projections for Factored MDPs
Pages 673–681
Solving Factored MDPs via Non-Homogeneous Partitioning
Pages 683–688
Symbolic Dynamic Programming for First-Order MDPs
Pages 690–699
A Fuzzy Modal Logic for Belief Functions
Pages 723–731
IBAL: A Probabilistic Rational Programming Language
Pages 733–739
Knowledge Processing under Information Fidelity
Pages 749–753
Knowledge Extraction from Local Function Networks
Pages 765–769
Sensitivity Analysis of Multilayer Perceptron
Pages 809–817
Fast Concurrent Reinforcement Learners
Pages 825–831
Robot Weightlifting By Direct Policy Search
Pages 839–845
OI-implication: Soundness and Refutation Completeness
Pages 847–851
Active Learning for Structure in Bayesian Networks
Pages 863–868
Adaptive Web Navigation for Wireless Devices
Pages 879–883
Using Text Classifiers for Numerical Classification
Pages 885–889
Faster Association Rules for Multiple Relations
Pages 891–895
Link Analysis, Eigenvectors and Stability
Pages 903–909
Learning on the Phase Transition Edge
Pages 921–925
Knowledge Analysis on Process Models
Pages 935–941
The Foundations of Cost-Sensitive Learning
Pages 973–977
Mining Soft-Matching Rules from Textual Data
Pages 979–985
A Distributed Case-Based Query Rewriting
Pages 1005–1009
Using Case-Base Data to Learn Adaptation Knowledge for Design
Pages 1011–1019
Rational and Convergent Learning in Stochastic Games
Pages 1021–1025
Multiagent Coordination by Stochastic Cellular Automata
Pages 1037–1041
A Layered Brain Architecture for Synthetic Creatures
Pages 1051–1057
Behavior Planning for a Reflexive Agent
Pages 1059–1065
Learning Procedural Knowledge to Better Coordinate
Pages 1073–1082
Robust Multi-unit Auction Protocol against False-name Bids
Pages 1089–1093
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions
Pages 1102–1107
Modularity and Design in Reactive Intelligence
Pages 1115–1119
Stable Strategies for Sharing Information among Agents
Pages 1128–1133
CAST: Collaborative Agents for Simulating Teamwork
Pages 1135–1143
Market Clearability
Pages 1145–1150
On Market-Inspired Approaches to Propositional Satisfiability
Pages 1152–1159
Agent-Human Interactions in the Continuous Double Auction
Pages 1169–1186
An Agent Architecture for Multi-Attribute Negotiation
Pages 1195–1200
A Multiagent System for Helping Urban Traffic Management
Pages 1202–1209
Bidding Languages for Combinatorial Auctions
Pages 1211–1216
Partitioning Activities for Agents
Pages 1218–1227
Title Generation for Machine-Translated Documents
Pages 1229–1233
Narrative Prose Generation
Pages 1241–1249
Sequentially finding the N-Best List in Hidden Markov Models
Pages 1280–1284
Dialog-driven Adaptation of Explanations of Proofs
Pages 1295–1299
Refining the Structure of a Stochastic Context-Free Grammar
Pages 1315–1321
Combining Probabilities, Failures and Safety in Robot Control
Pages 1331–1335
Learning Iterative Image Reconstruction
Pages 1353–1357
A Hierarchy of Boundary-based Shape Descriptors
Pages 1359–1363
Efficient Interpretation Policies
Pages 1381–1389
Fuzzy Conceptual Graphs for Matching Images of Natural Scenes
Pages 1397–1403
Discriminating Animate from Inanimate Visual Stimuli
Pages 1405–1409
Multimodal Integration A Biological View
Pages 1417–1423
Preference-Based Configuration of Web Page Content
Pages 1451–1455
Multimodal Interaction: A new focal area for AI
Pages 1467–1472
Front matter, copyright and publication details
Front matter
- Knowledge Representation and Reasoning.
- Search, Satisfiability, and Constraint Satisfaction Problems
- Cognitive Modeling
- Planning.
- Games
- Diagnosis
- Logic Programming and Theorem Proving.
- Uncertainty and Probabilistic Reasoning
- Neural Networks and Genetic Algorithms
- Machine Learning and Data Mining
- Case-based Reasoning
- Multi-Agent Systems
- Natural Language Processing and Information Retrieval
- Robotics and Perception
- Web Applications
- Invited Papers
- Author Index
