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
Path Relinking for a Constrained Simulation-Optimization Team Scheduling Problem Arising in Hydroinformatics. 31-44 - Andrea Roli
Dynamical Properties of Artificially Evolved Boolean Network Robots. 45-57 - Luca Crociani
Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach. 58-71
Computer Vision
- Hamid Hassannejad, Guido Matrella
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
Anticipatory Coordination in Socio-Technical Knowledge-Intensive Environments: Behavioural Implicit Communication in MoK. 102-115 - Stefania Monica
A Kinetic Study of Opinion Dynamics in Multi-agent Systems. 116-127 - Pasquale Caianiello
Cooperating with Trusted Parties Would Make Life Easier. 128-135 - Valerio Iachini, Andrea Borghesi
Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption. 136-148
Knowledge Representation and Reasoning
- Emilio M. Sanfilippo
Feature-Based Modelling and Information Systems for Engineering. 151-163 - Laura Giordano
A Multi-engine Theorem Prover for a Description Logic of Typicality. 164-178 - Marco Maratea, Luca Pulina
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
Learning Accurate Cutset Networks by Exploiting Decomposability. 221-232 - Luigi Di Caro
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
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
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
Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods. 329-342 - Emanuele Bastianelli, Danilo Croce
Using Semantic Models for Robust Natural Language Human Robot Interaction. 343-356 - Federico Scozzafava, Alessandro Raganato
Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia. 357-366 - Silvia Giannini, Simona Colucci
A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. 367-380
Scheduling, Planning, and Robotics
- Daniel Díaz, Amedeo Cesta
Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers. 383-396 - Steven D. Klee, Guglielmo Gemignani, Daniele Nardi
Graph-Based Task Libraries for Robots: Generalization and Autocompletion. 397-409 - Alessandro Umbrico
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic. 410-423 - Riccardo De Benedictis
Integrating Logic and Constraint Reasoning in a Timeline-Based Planner. 424-437 - Rabia Jilani
ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition. 438-451 - Guglielmo Gemignani, Roberto Capobianco
Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics. 452-464 - Luca Iocchi
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.
last updated on 2024-11-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: