AI*IA 2013: Advances in Artificial Intelligence: XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

Front Matter....Pages -
Comparing Alternative Solutions for Unfounded Set Propagation in ASP....Pages 1-12
Mind in Degrees....Pages 13-24
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems....Pages 25-36
Automated Reasoning in Metabolic Networks with Inhibition....Pages 37-47
Multicriteria Decision Making Based on Qualitative Assessments and Relational Belief....Pages 48-59
 PreDeLo 1.0 : A Theorem Prover for Preferential Description Logics....Pages 60-72
Automated Selection of Grounding Algorithm in Answer Set Programming....Pages 73-84
Entity-from-Relationship Modelling....Pages 85-96
Supervised Learning and Distributional Semantic Models for Super-Sense Tagging....Pages 97-108
A Heuristic Approach to Handling Sequential Information in Incremental ILP....Pages 109-120
How Mature Is the Field of Machine Learning?....Pages 121-132
Enhance User-Level Sentiment Analysis on Microblogs with Approval Relations....Pages 133-144
Abstraction in Markov Networks....Pages 145-156
Improving the Structuring Capabilities of Statistics–Based Local Learners....Pages 157-168
Kernel-Based Discriminative Re-ranking for Spoken Command Understanding in HRI....Pages 169-180
A Natural Language Account for Argumentation Schemes....Pages 181-192
Deep Natural Language Processing for Italian Sign Language Translation....Pages 193-204
A Virtual Player for “Who Wants to Be a Millionaire?” based on Question Answering....Pages 205-216
The Construction of the Relative Distance Fuzzy Values Based on the Questionnaire Experiment....Pages 217-226
Process Fragment Recognition in Clinical Documents....Pages 227-238
Offline and Online Plan Library Maintenance in Case-Based Planning....Pages 239-250
Integrating Knowledge Engineering for Planning with Validation and Verification Tools....Pages 251-262
Numeric Kernel for Reasoning about Plans Involving Numeric Fluents....Pages 263-275
Underestimation vs. Overestimation in SAT-Based Planning....Pages 276-287
Social Interactions in Crowds of Pedestrians: An Adaptive Model for Group Cohesion....Pages 288-299
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol....Pages 300-311
A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning....Pages 312-323
Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled Robots....Pages 324-335
Semantic Annotation of Scholarly Documents and Citations....Pages 336-347
Common Subsumbers in RDF....Pages 348-359
Personality-Based Active Learning for Collaborative Filtering Recommender Systems....Pages 360-371
Selection and Ranking of Activities in the Social Web....Pages 372-384
Granular Semantic User Similarity in the Presence of Sparse Data....Pages 385-396
Computing Instantiated Explanations in OWL DL....Pages 397-408
Using Agents for Generating Personalized Recommendations of Multimedia Contents....Pages 409-420
Outlier Detection with Arbitrary Probability Functions....Pages 421-432
Enhancing Regression Models with Spatio-temporal Indicator Additions....Pages 433-444
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences....Pages 445-456
An Intelligent Technique for Forecasting Spatially Correlated Time Series....Pages 457-468
Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces....Pages 469-480
CDoT: Optimizing MAP Queries on Trees....Pages 481-492
Gesture Recognition for Improved User Experience in a Smart Environment....Pages 493-504
An Efficient Algorithm for Rank Distance Consensus....Pages 505-516
Automatic Braille to Black Conversion....Pages 517-526
A Hybrid Neuro–Wavelet Predictor for QoS Control and Stability....Pages 527-538
Back Matter....Pages -