AI*IA 2011: Artificial Intelligence Around Man and Beyond

1. Front Matter

   PDF

2. Invited Talks

   1. Foundations and New Paradigms of Brain Computing: Past, Present, and Future

      • Stephen Grossberg

      Pages 1-7

   2. Robotics as the Hub of Various Research Areas

      • Hiroshi Ishiguro

      Pages 8-8

   3. Can We Design Artificial Pedagogical Agents to Be Intelligent Enough to Detect, Model, and Foster Regulatory Learning Processes?

      • Roger Azevedo

      Pages 9-9

3. Machine Learning

   1. A Comparative Study of Thresholding Strategies in Progressive Filtering

      • Andrea Addis, Giuliano Armano, Eloisa Vargiu

      Pages 10-20

   2. Semi-Supervised Multiclass Kernel Machines with Probabilistic Constraints

      • Stefano Melacci, Marco Gori

      Pages 21-32

   3. Plugging Numeric Similarity in First-Order Logic Horn Clauses Comparison

      • S. Ferilli, T. M. A. Basile, N. Di Mauro, F. Esposito

      Pages 33-44

   4. Learning to Tag Text from Rules and Examples

      • Michelangelo Diligenti, Marco Gori, Marco Maggini

      Pages 45-56

   5. Comparison of Dispersion Models by Using Fuzzy Similarity Relations

      • Angelo Ciaramella, Angelo Riccio, Stefano Galmarini, Giulio Giunta, Slawomir Potempski

      Pages 57-67

4. Distributed AI: Robotics and MAS

   1. An Interaction-Oriented Agent Framework for Open Environments

      • Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti et al.

      Pages 68-79

   2. Fuzzy Conformance Checking of Observed Behaviour with Expectations

      • Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara

      Pages 80-91

   3. Dealing with Crowd Crystals in MAS-Based Crowd Simulation: A Proposal

      • Stefania Bandini, Lorenza Manenti, Luca Manzoni, Sara Manzoni

      Pages 92-103

   4. An Agent Model of Pedestrian and Group Dynamics: Experiments on Group Cohesion

      • Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, Kenichiro Shimura

      Pages 104-116

   5. An Architecture with a Mobile Phone Interface for the Interaction of a Human with a Humanoid Robot Expressing Emotions and Personality

      • Antonio Chella, Rosario Sorbello, Giovanni Pilato, Giorgio Vassallo, Giuseppe Balistreri, Marcello Giardina

      Pages 117-126

5. Theoretical Issues: Knowledge Representation and Reasonoinng, Planning, Cognitive Modeling

   1. Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation

      • Luca Pulina, Armando Tacchella

      Pages 127-138

   2. A Dual Association Model for Acquisition and Extinction

      • Ashish Gupta, Lovekesh Vig

      Pages 139-150

   3. Intelligent Supervision for Robust Plan Execution

      • Roberto Micalizio, Enrico Scala, Pietro Torasso

      Pages 151-163

   4. A Tableau Calculus for a Nonmonotonic Extension of the Description Logic \(\mbox{\em DL-Lite}_{\mathit{core}}\)

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

      Pages 164-176

   5. Monte-Carlo Style UCT Search for Boolean Satisfiability

      • Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

      Pages 177-188

   6. Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability

      • Alfonso Emilio Gerevini, Alessandro Saetti, Mauro Vallati

      Pages 189-200

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.

• autonomic computing
• data mining
• fuzzy logic
• machine learning
• robotic agents

• Department of Chemical, Management, Computer, and Mechanical Engineering (DICGIM), University of Palermo, Palermo, Italy

  Roberto Pirrone, Filippo Sorbello

Policies and ethics