KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings

This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The pa...

Full description

Bibliographic Details
Other Authors: Glimm, Birte (Editor), Krüger, Antonio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012, 2012
Edition:1st ed. 2012
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 05915nmm a2200445 u 4500
001 EB000390323
003 EBX01000000000000000243376
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642333477 
100 1 |a Glimm, Birte  |e [editor] 
245 0 0 |a KI 2012: Advances in Artificial Intelligence  |h Elektronische Ressource  |b 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings  |c edited by Birte Glimm, Antonio Krüger 
250 |a 1st ed. 2012 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2012, 2012 
300 |a XIV, 267 p. 89 illus  |b online resource 
505 0 |a Gated Boosting: Efficient Classifier Boosting and Combining. Formal Semantics of Model Fields in Annotation-Based Specifications.-  Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.-  A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning --  
505 0 |a Verification of Behaviour Networks Using Finite-State Automata -- Formal Semantics of Model Fields in Annotation-Based Specifications.-  Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.-  A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning --  
505 0 |a Gated Boosting: Efficient Classifier Boosting and Combining 
505 0 |a Plan Recognition by Program Execution in Continuous Temporal Domains.-  Modeling Human Motion Trajectories by Sparse Activation of Motion PrimitivesLearned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.-  Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.-  Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules --  
505 0 |a Plan Recognition by Program Execution in Continuous TemporalDomains.-  Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.-  Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.-  Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules --  
653 |a User interfaces (Computer systems) 
653 |a Computer simulation 
653 |a Information Storage and Retrieval 
653 |a Artificial Intelligence 
653 |a Computer Modelling 
653 |a Formal Languages and Automata Theory 
653 |a Information storage and retrieval systems 
653 |a Machine theory 
653 |a Artificial intelligence 
653 |a User Interfaces and Human Computer Interaction 
653 |a Human-computer interaction 
700 1 |a Krüger, Antonio  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-642-33347-7 
856 4 0 |u https://doi.org/10.1007/978-3-642-33347-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and applicaiton of all aspects of AI.