


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














