AI*IA 2016 Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference
3. Altmetric Badge
   Chapter 2 On-line Dynamic Station Redeployments in Bike-Sharing Systems
4. Altmetric Badge
   Chapter 3 Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme
5. Altmetric Badge
   Chapter 4 Efficient Search of Relevant Structures in Complex Systems
6. Altmetric Badge
   Chapter 5 Flat and Hierarchical Classifiers for Detecting Emotion in Tweets
7. Altmetric Badge
   Chapter 6 Spam Filtering Using Regularized Neural Networks with Rectified Linear Units
8. Altmetric Badge
   Chapter 7 User Mood Tracking for Opinion Analysis on Twitter
9. Altmetric Badge
   Chapter 8 Using Random Forests for the Estimation of Multiple Users’ Visual Focus of Attention from Head Pose
10. Altmetric Badge
    Chapter 9 An Analytic Study of Opinion Dynamics in Multi-agent Systems with Additive Random Noise
11. Altmetric Badge
    Chapter 10 Combining Avoidance and Imitation to Improve Multi-agent Pedestrian Simulation
12. Altmetric Badge
    Chapter 11 Educational Concept Maps for Personalized Learning Path Generation
13. Altmetric Badge
    Chapter 12 Answer Set Enumeration via Assumption Literals
14. Altmetric Badge
    Chapter 13 On the Application of Answer Set Programming to the Conference Paper Assignment Problem
15. Altmetric Badge
    Chapter 14 A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form
16. Altmetric Badge
    Chapter 15 $$\mathcal {I}$$ - dlv : The New Intelligent Grounder of dlv
17. Altmetric Badge
    Chapter 16 Abducing Compliance of Incomplete Event Logs
18. Altmetric Badge
    Chapter 17 Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
19. Altmetric Badge
    Chapter 18 Relationships and Events: Towards a General Theory of Reification and Truthmaking
20. Altmetric Badge
    Chapter 19 A Self-Adaptive Context-Aware Group Recommender System
21. Altmetric Badge
    Chapter 20 A Model+Solver Approach to Concept Learning
22. Altmetric Badge
    Chapter 21 A Comparative Study of Inductive and Transductive Learning with Feedforward Neural Networks
23. Altmetric Badge
    Chapter 22 Structural Knowledge Extraction from Mobility Data
24. Altmetric Badge
    Chapter 23 Predicting Process Behavior in WoMan
25. Altmetric Badge
    Chapter 24 On-line Learning on Temporal Manifolds
26. Altmetric Badge
    Chapter 25 Learning and Reasoning with Logic Tensor Networks
27. Altmetric Badge
    Chapter 26 Probabilistic Logical Inference on the Web
28. Altmetric Badge
    Chapter 27 Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
29. Altmetric Badge
    Chapter 28 Context-Awareness for Multi-sensor Data Fusion in Smart Environments
30. Altmetric Badge
    Chapter 29 Reasoning about Multiple Aspects in Rational Closure for DLs
31. Altmetric Badge
    Chapter 30 A Framework for Automatic Population of Ontology-Based Digital Libraries
32. Altmetric Badge
    Chapter 31 Reasoning About Surprising Scenarios in Description Logics of Typicality
33. Altmetric Badge
    Chapter 32 A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces
34. Altmetric Badge
    Chapter 33 Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity
35. Altmetric Badge
    Chapter 34 QuASIt: A Cognitive Inspired Approach to Question Answering for the Italian Language
36. Altmetric Badge
    Chapter 35 Spoken Language Understanding for Service Robotics in Italian
37. Altmetric Badge
    Chapter 36 DARDIS: Distributed And Randomized DIspatching and Scheduling
38. Altmetric Badge
    Chapter 37 Steps in Assessing a Timeline-Based Planner
39. Altmetric Badge
    Chapter 38 Learning for Verification in Embedded Systems: A Case Study
40. Altmetric Badge
    Chapter 39 Learning in Physical Domains: Mating Safety Requirements and Costly Sampling