KI 2012: Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Verification of Behaviour Networks Using Finite-State Automata
3. Altmetric Badge
   Chapter 2 Formal Semantics of Model Fields in Annotation-Based Specifications
4. Altmetric Badge
   Chapter 3 Searching with Partial Belief States in General Games with Incomplete Information
5. Altmetric Badge
   Chapter 4 A Machine-Learning Framework for Hybrid Machine Translation
6. Altmetric Badge
   Chapter 5 Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals
7. Altmetric Badge
   Chapter 6 Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People
8. Altmetric Badge
   Chapter 7 PAC-Learning with General Class Noise Models
9. Altmetric Badge
   Chapter 8 Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning
10. Altmetric Badge
    Chapter 9 Unsupervised Nearest Neighbors with Kernels
11. Altmetric Badge
    Chapter 10 A Compact Encoding of Pseudo-Boolean Constraints into SAT
12. Altmetric Badge
    Chapter 11 Small Talk Is More than Chit-Chat
13. Altmetric Badge
    Chapter 12 Clustering Based on Density Estimation with Sparse Grids
14. Altmetric Badge
    Chapter 13 A Comparison between Cognitive and AI Models of Blackjack Strategy Learning
15. Altmetric Badge
    Chapter 14 Plan Recognition by Program Execution in Continuous Temporal Domains
16. Altmetric Badge
    Chapter 15 Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data
17. Altmetric Badge
    Chapter 16 Nogoods in Qualitative Constraint-Based Reasoning
18. Altmetric Badge
    Chapter 17 Stochastic Gradient Descent with GPGPU
19. Altmetric Badge
    Chapter 18 Improved Query Suggestion by Query Search
20. Altmetric Badge
    Chapter 19 Knowledge-Base Revision Using Implications as Hypotheses
21. Altmetric Badge
    Chapter 20 Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation
22. Altmetric Badge
    Chapter 21 Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering
23. Altmetric Badge
    Chapter 22 Ontology-Based Information Extraction for French Newspaper Articles
24. Altmetric Badge
    Chapter 23 Semantic Approach to Identity in Coreference Resolution Task
25. Altmetric Badge
    Chapter 24 Matching Points of Interest from Different Social Networking Sites
26. Altmetric Badge
    Chapter 25 Semi-analytic Natural Number Series Induction
27. Altmetric Badge
    Chapter 26 Dependency Parsing with Efficient Feature Extraction
28. Altmetric Badge
    Chapter 27 Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules
29. Altmetric Badge
    Chapter 28 Gated Boosting: Efficient Classifier Boosting and Combining