KI 2002: Advances in Artificial Intelligence

This book constitutes the refereed proceedings of the 25th Annual German conference on Artificial Intelligence, KI 2002, held in Aachen, Germany in September 2002.The 20 revised full papers presented were carefully reviewed and selected from 58 submissions. The book offers topical sections on natural language processing; machine learning; knowledge representation, semantic web, and AI; neural networks; logic programming, theorem proving, and model checking; and vision and spatial reasoning.

Inhalt

Natural Language.- LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars.- Phrase-Based Statistical Machine Translation.- Compiling Dynamic Agent Conversations.- Machine Learning - Combined Approaches.- Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach.- Incremental Fuzzy Decision Trees.- Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems.- Knowledge Representation, Semantic Web, AI Planning.- On the Problem of Computing Small Representations of Least Common Subsumers.- Approximate Information Filtering on the Semantic Web.- ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions.- Integrating Function Application in State-Based Planning.- Machine Learning - Neural Networks.- Fast Winner-Takes-All Networks for the Maximum Clique Problem.- Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data.- Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects.- Logic Programming - Theorem Proving - Model Checking.- The Well-Founded Semantics Is a Stratified Fitting Semantics.- Axiomatization of Finite Algebras.- Algorithms for Guiding Clausal Temporal Resolution.- Vision and Spatial Reasoning.- Axiom - A Modular Visual Object Retrieval System.- Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System.- Qualitative Velocity and Ball Interception.- Spatial Inference - Learning vs. Constraint Solving.- Invited Presentations.- From Simulated Dialogues to Interactive Performances with Virtual Actors.- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.- Semantic Web Enabled Web Services.- DFG Priority Programs.- DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments.- DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios.- DFG Priority Program (SPP-1077) Socionics - Investigating and Modelling Artificial Societies.