人工智能进展 2001 KI 2002: Advances in Artificial Intelligence
分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者: Matthias Jarke著
出 版 社: 湖南文艺出版社
出版时间: 2002-12-1字数:版次: 1页数: 326印刷时间: 2002/12/01开本:印次:纸张: 胶版纸I S B N : 9783540441854包装: 平装内容简介
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.
目录
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 1
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions 1
Integrating Function Application in State-Based Planning 1
Machine Learning - Neural Networks
Fast Winner-Takes-All Networks for the Maximum Clique Problem 1
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
Author Index