AI IA 2016 Advances in Artificial Intelligence 1st Edition by Giovanni Adorni,Stefano Cagnoni,Marco Maratea,Marco Gori 3319491296 9783319491295

1. Optimization and Evolutionary Algorithms

Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference

On-line Dynamic Station Redeployments in Bike-Sharing Systems

Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme

Efficient Search of Relevant Structures in Complex Systems

2. Classification, Pattern Recognition, and Computer Vision

Flat and Hierarchical Classifiers for Detecting Emotion in Tweets

Spam Filtering Using Regularized Neural Networks with Rectified Linear Units

User Mood Tracking for Opinion Analysis on Twitter

Using Random Forests for the Estimation of Multiple Users’ Visual Focus of Attention from Head Pose

3. Multi-agent Systems

An Analytic Study of Opinion Dynamics in Multi-agent Systems with Additive Random Noise

Combining Avoidance and Imitation to Improve Multi-agent Pedestrian Simulation

4. Knowledge Representation and Reasoning

Educational Concept Maps for Personalized Learning Path Generation

Answer Set Enumeration via Assumption Literals

On the Application of Answer Set Programming to the Conference Paper Assignment Problem

A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form

$$mathcal {I}$$ -dlv: The New Intelligent Grounder of dlv

Abducing Compliance of Incomplete Event Logs

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

Relationships and Events: Towards a General Theory of Reification and Truthmaking

A Self-Adaptive Context-Aware Group Recommender System

A Model+Solver Approach to Concept Learning

5. Machine Learning

A Comparative Study of Inductive and Transductive Learning with Feedforward Neural Networks

Structural Knowledge Extraction from Mobility Data

Predicting Process Behavior in WoMan

On-line Learning on Temporal Manifolds

Learning and Reasoning with Logic Tensor Networks

6. Semantic Web and Description Logics

Probabilistic Logical Inference on the Web

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics

Context-Awareness for Multi-sensor Data Fusion in Smart Environments

Reasoning about Multiple Aspects in Rational Closure for DLs

A Framework for Automatic Population of Ontology-Based Digital Libraries

Reasoning About Surprising Scenarios in Description Logics of Typicality

7. Natural Language Processing

A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces

Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity

QuASIt: A Cognitive Inspired Approach to Question Answering for the Italian Language

Spoken Language Understanding for Service Robotics in Italian

8. Planning and Scheduling

DARDIS: Distributed And Randomized DIspatching and Scheduling

Steps in Assessing a Timeline-Based Planner

9. Formal Verification

Learning for Verification in Embedded Systems: A Case Study

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling