دانلود کتاب AI*IA 2016 Advances in Artificial Intelligence: XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings

فهرست مطالب :

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference....Pages 3-12
On-line Dynamic Station Redeployments in Bike-Sharing Systems....Pages 13-25
Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme....Pages 26-34
Efficient Search of Relevant Structures in Complex Systems....Pages 35-48
Front Matter....Pages 49-49
Flat and Hierarchical Classifiers for Detecting Emotion in Tweets....Pages 51-64
Spam Filtering Using Regularized Neural Networks with Rectified Linear Units....Pages 65-75
User Mood Tracking for Opinion Analysis on Twitter....Pages 76-88
Using Random Forests for the Estimation of Multiple Users’ Visual Focus of Attention from Head Pose....Pages 89-102
Front Matter....Pages 103-103
An Analytic Study of Opinion Dynamics in Multi-agent Systems with Additive Random Noise....Pages 105-117
Combining Avoidance and Imitation to Improve Multi-agent Pedestrian Simulation....Pages 118-132
Front Matter....Pages 133-133
Educational Concept Maps for Personalized Learning Path Generation....Pages 135-148
Answer Set Enumeration via Assumption Literals....Pages 149-163
On the Application of Answer Set Programming to the Conference Paper Assignment Problem....Pages 164-178
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form....Pages 179-191
Abducing Compliance of Incomplete Event Logs....Pages 192-207
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios....Pages 208-222
Relationships and Events: Towards a General Theory of Reification and Truthmaking....Pages 223-236
A Self-Adaptive Context-Aware Group Recommender System....Pages 237-249
A Model+Solver Approach to Concept Learning....Pages 250-265
Front Matter....Pages 266-279
A Comparative Study of Inductive and Transductive Learning with Feedforward Neural Networks....Pages 281-281
Structural Knowledge Extraction from Mobility Data....Pages 283-293
Predicting Process Behavior in WoMan....Pages 294-307
On-line Learning on Temporal Manifolds....Pages 308-320
Learning and Reasoning with Logic Tensor Networks....Pages 321-333
Front Matter....Pages 334-348
Probabilistic Logical Inference on the Web....Pages 349-349
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics....Pages 351-363
Context-Awareness for Multi-sensor Data Fusion in Smart Environments....Pages 364-376
Reasoning about Multiple Aspects in Rational Closure for DLs....Pages 377-391
A Framework for Automatic Population of Ontology-Based Digital Libraries....Pages 392-405
Reasoning About Surprising Scenarios in Description Logics of Typicality....Pages 406-417
Front Matter....Pages 418-432
A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces....Pages 433-433
Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity....Pages 435-449
QuASIt: A Cognitive Inspired Approach to Question Answering for the Italian Language....Pages 450-463
Spoken Language Understanding for Service Robotics in Italian....Pages 464-476
Front Matter....Pages 477-489
DARDIS: Distributed And Randomized DIspatching and Scheduling....Pages 491-491
Steps in Assessing a Timeline-Based Planner....Pages 493-507
Front Matter....Pages 508-522
Learning for Verification in Embedded Systems: A Case Study....Pages 523-523
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling....Pages 525-538
Back Matter....Pages 539-552
....Pages 553-554