Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Roberto Pirrone

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Filippo Sorbello

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6934)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AI*IA 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (47 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. AI*IA 2011: Artificial Intelligence Around Man and Beyond

Keywords

About this book

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.

Editors and Affiliations

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

    Roberto Pirrone, Filippo Sorbello

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation