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.
Author(s): L. Ciortuz (auth.), Matthias Jarke, Gerhard Lakemeyer, Jana Koehler (eds.)
Series: Lecture Notes in Computer Science 2479 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 334
Tags: Artificial Intelligence (incl. Robotics)
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
