


default search action
AI*IA 2015: Ferrara, Italy
- Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi:
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9336, Springer 2015, ISBN 978-3-319-24308-5
Swarm Intelligence and Genetic Algorithms
- Michele Amoretti, Stefano Cagnoni
:
Collective Self-Awareness and Self-Expression for Efficient Network Exploration. 3-16 - Federico Caselli, Alessio Bonfietti, Michela Milano:
Swarm-Based Controller for Traffic Lights Management. 17-30 - Maddalena Nonato
, Andrea Peano:
Path Relinking for a Constrained Simulation-Optimization Team Scheduling Problem Arising in Hydroinformatics. 31-44 - Andrea Roli
, Marco Villani
, Roberto Serra, Stefano Benedettini, Carlo Pinciroli, Mauro Birattari
:
Dynamical Properties of Artificially Evolved Boolean Network Robots. 45-57 - Luca Crociani
, Andrea Piazzoni
, Giuseppe Vizzari
, Stefania Bandini
:
Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach. 58-71
Computer Vision
- Hamid Hassannejad, Guido Matrella
, Monica Mordonini
, Stefano Cagnoni
:
Using Stochastic Optimization to Improve the Detection of Small Checkerboards. 75-86
Multi Agent Systems
- Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio
:
Empowering Agent Coordination with Social Engagement. 89-101 - Stefano Mariani
, Andrea Omicini
:
Anticipatory Coordination in Socio-Technical Knowledge-Intensive Environments: Behavioural Implicit Communication in MoK. 102-115 - Stefania Monica
, Federico Bergenti
:
A Kinetic Study of Opinion Dynamics in Multi-agent Systems. 116-127 - Pasquale Caianiello
, Stefania Costantini, Giovanni De Gasperis
, Subhasis Thakur
:
Cooperating with Trusted Parties Would Make Life Easier. 128-135 - Valerio Iachini, Andrea Borghesi
, Michela Milano:
Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption. 136-148
Knowledge Representation and Reasoning
- Emilio M. Sanfilippo
, Stefano Borgo
:
Feature-Based Modelling and Information Systems for Engineering. 151-163 - Laura Giordano
, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
A Multi-engine Theorem Prover for a Description Logic of Typicality. 164-178 - Marco Maratea, Luca Pulina
, Francesco Ricca:
Advances in Multi-engine ASP Solving. 179-190 - Francesco Santini
:
Defeasible Logic Programming in Satisfiability Modulo CHR. 191-204 - Rémi Brochenin, Marco Maratea:
Abstract Solvers for Quantified Boolean Formulas and their Applications. 205-217
Machine Learning
- Nicola Di Mauro
, Antonio Vergari
, Floriana Esposito:
Learning Accurate Cutset Networks by Exploiting Decomposability. 221-232 - Luigi Di Caro
, Alice Ruggeri, Loredana Cupi, Guido Boella:
Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised Settings. 233-245 - Francesca Alessandra Lisi, Floriana Esposito:
An AI Application to Integrated Tourism Planning. 246-259 - Shashank Pathak, Luca Pulina
, Armando Tacchella
:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. 260-273 - Stefano Ferilli
, Giuseppe Fatiguso:
An Approach to Predicate Invention Based on Statistical Relational Model. 274-287 - Stefano Ferilli
, Andrea Pazienza
, Floriana Esposito:
Empowered Negative Specialization in Inductive Logic Programming. 288-300
Semantic Web
- Roberto Enea, Maria Teresa Pazienza, Andrea Turbati:
GENOMA: GENeric Ontology Matching Architecture. 303-315 - Antonino Lo Bue, Alberto Machì:
Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism Domain. 316-326
Natural Language
- Giuseppe Castellucci, Danilo Croce
, Roberto Basili
:
Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods. 329-342 - Emanuele Bastianelli, Danilo Croce
, Roberto Basili
, Daniele Nardi
:
Using Semantic Models for Robust Natural Language Human Robot Interaction. 343-356 - Federico Scozzafava, Alessandro Raganato
, Andrea Moro, Roberto Navigli
:
Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia. 357-366 - Silvia Giannini, Simona Colucci
, Francesco M. Donini
, Eugenio Di Sciascio:
A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. 367-380
Scheduling, Planning, and Robotics
- Daniel Díaz, Amedeo Cesta
, Angelo Oddi
, Riccardo Rasconi
, María Dolores Rodríguez-Moreno:
Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers. 383-396 - Steven D. Klee, Guglielmo Gemignani, Daniele Nardi
, Manuela M. Veloso:
Graph-Based Task Libraries for Robots: Generalization and Autocompletion. 397-409 - Alessandro Umbrico
, Andrea Orlandini
, Marta Cialdea Mayer:
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic. 410-423 - Riccardo De Benedictis
, Amedeo Cesta
:
Integrating Logic and Constraint Reasoning in a Timeline-Based Planner. 424-437 - Rabia Jilani
, Andrew Crampton
, Diane E. Kitchin
, Mauro Vallati
:
ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition. 438-451 - Guglielmo Gemignani, Roberto Capobianco
, Daniele Nardi
:
Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics. 452-464 - Luca Iocchi
, Maria Teresa Lázaro
, Laurent Jeanpierre, Abdel-Illah Mouaddib, Esra Erdem
, Hichem Sahli:
COACHES Cooperative Autonomous Robots in Complex and Human Populated Environments. 465-477

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.