Ki 2002: Advances In Artificial Intelligence : 25th Annual German Conference On Ai, Ki 2002, Aachen, Germany, September 16-20, 2002 : Proceedings 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. LIGHT — A Constraint Language and Compiler System for Typed-Unification Grammars....Pages 3-17 Phrase-Based Statistical Machine Translation....Pages 18-32 Compiling Dynamic Agent Conversations....Pages 33-47 Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach....Pages 51-66 Incremental Fuzzy Decision Trees....Pages 67-81 Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems....Pages 82-96 On the Problem of Computing Small Representations of Least Common Subsumers....Pages 99-113 Approximate Information Filtering on the Semantic Web....Pages 114-128 ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions....Pages 129-143 Integrating Function Application in State-Based Planning....Pages 144-160 Fast Winner-Takes-All Networks for the Maximum Clique Problem....Pages 163-173 Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data....Pages 174-185 Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects....Pages 186-201 The Well-Founded Semantics Is a Stratified Fitting Semantics....Pages 205-221 Axiomatization of Finite Algebras....Pages 222-234 Algorithms for Guiding Clausal Temporal Resolution....Pages 235-249 Axiom — A Modular Visual Object Retrieval System....Pages 253-267 Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System....Pages 268-282 Qualitative Velocity and Ball Interception....Pages 283-298 Spatial Inference — Learning vs. Constraint Solving....Pages 299-313 From Simulated Dialogues to Interactive Performances with Virtual Actors....Pages 317-317 Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications....Pages 318-318 Semantic Web Enabled Web Services....Pages 319-319 DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments....Pages 323-323 DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios....Pages 324-324 DFG Priority Program (SPP-1077) Socionics — Investigating and Modelling Artificial Societies....Pages 325-326 These conference papers cover 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. Interest in (typed) unification grammars for Natural Language Processing can be traced back to the seminal work on the PATR-II system [32].