AI*IA 2011 : artificial intelligence around man and beyond : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011 : proceedings

This book constitutes the refereed proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, AI\*IA 2011, held in Palermo, Italy, in September 2011. The 31 revised full papers presented together with 3 invited talks and 13 posters were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on machine learning; distributed AI: robotics and MAS; theoretical issues: knowledge representation and reasoning; planning, cognitive modeling; natural language processing; and AI applications. Front Matter....Pages - Foundations and New Paradigms of Brain Computing: Past, Present, and Future....Pages 1-7 Robotics as the Hub of Various Research Areas....Pages 8-8 Can We Design Artificial Pedagogical Agents to Be Intelligent Enough to Detect, Model, and Foster Regulatory Learning Processes?....Pages 9-9 A Comparative Study of Thresholding Strategies in Progressive Filtering....Pages 10-20 Semi-Supervised Multiclass Kernel Machines with Probabilistic Constraints....Pages 21-32 Plugging Numeric Similarity in First-Order Logic Horn Clauses Comparison....Pages 33-44 Learning to Tag Text from Rules and Examples....Pages 45-56 Comparison of Dispersion Models by Using Fuzzy Similarity Relations....Pages 57-67 An Interaction-Oriented Agent Framework for Open Environments....Pages 68-79 Fuzzy Conformance Checking of Observed Behaviour with Expectations....Pages 80-91 Dealing with Crowd Crystals in MAS-Based Crowd Simulation: A Proposal....Pages 92-103 An Agent Model of Pedestrian and Group Dynamics: Experiments on Group Cohesion....Pages 104-116 An Architecture with a Mobile Phone Interface for the Interaction of a Human with a Humanoid Robot Expressing Emotions and Personality....Pages 117-126 Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation....Pages 127-138 A Dual Association Model for Acquisition and Extinction....Pages 139-150 Intelligent Supervision for Robust Plan Execution....Pages 151-163 A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$ ....Pages 164-176 Monte-Carlo Style UCT Search for Boolean Satisfiability....Pages 177-188 Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability....Pages 189-200 Clustering Web Search Results with Maximum Spanning Trees....Pages 201-212 Interdisciplinary Contributions to Flame Modeling....Pages 213-224 Latent Topic Models of Surface Syntactic Information....Pages 225-237 Structured Learning for Semantic Role Labeling....Pages 238-249 Cross-Language Information Filtering: Word Sense Disambiguation vs. Distributional Models....Pages 250-261 Double-Sided Recommendations: A Novel Framework for Recommender Systems....Pages 262-273 Intelligent Self-repairable Web Wrappers....Pages 274-285 Synthesis of Collective Tag-Based Opinions in the Social Web....Pages 286-298 Propagating User Interests in Ontology-Based User Model....Pages 299-311 Integrating Commonsense Knowledge into the Semantic Annotation of Narrative Media Objects....Pages 312-323 An Application of Fuzzy Logic to Strategic Environmental Assessment....Pages 324-335 Using Planning to Train Crisis Decision Makers....Pages 336-347 Clustering and Classification Techniques for Blind Predictions of Reservoir Facies....Pages 348-359 Multi-sensor Fusion through Adaptive Bayesian Networks....Pages 360-371 Tackling the DREAM Challenge for Gene Regulatory Networks Reverse Engineering....Pages 372-382 Full Extraction of Landmarks in Propositional Planning Tasks....Pages 383-388 Rule-Based Creation of TimeML Documents from Dependency Trees....Pages 389-394 Handling Partial Preferences in the Belief AHP Method: Application to Life Cycle Assessment....Pages 395-400 Combining Description Logics and Typicality Effects in Formal Ontologies....Pages 401-406 Italian Anaphoric Annotation with the Phrase Detectives Game-with-a-Purpose....Pages 407-412 A New Possibilistic Clustering Method: The Possibilistic K-Modes....Pages 413-419 Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions....Pages 420-425 Multi-platform Agent Systems with Dynamic Reputation Policy Management....Pages 426-431 Integrating Built-in Sensors of an Android with Sensors Embedded in the Environment for Studying a More Natural Human-Robot Interaction....Pages 432-437 Probabilistic Anomaly Detection for Wireless Sensor Networks....Pages 438-444 From Natural Language Definitions to Knowledge Bases Axioms....Pages 445-450 A Multimodal People Recognition System for an Intelligent Environment....Pages 451-456 Instance-Based Classifiers to Discover the Gradient of Typicality in Data....Pages 457-462 Back Matter....Pages -