Abstract is missing.
- Collective Self-Awareness and Self-Expression for Efficient Network ExplorationMichele Amoretti, Stefano Cagnoni. 3-16 [doi]
- Swarm-Based Controller for Traffic Lights ManagementFederico Caselli, Alessio Bonfietti, Michela Milano. 17-30 [doi]
- Path Relinking for a Constrained Simulation-Optimization Team Scheduling Problem Arising in HydroinformaticsMaddalena Nonato, Andrea Peano. 31-44 [doi]
- Dynamical Properties of Artificially Evolved Boolean Network RobotsAndrea Roli, Marco Villani, Roberto Serra, Stefano Benedettini, Carlo Pinciroli, Mauro Birattari. 45-57 [doi]
- Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent ApproachLuca Crociani, Andrea Piazzoni, Giuseppe Vizzari, Stefania Bandini. 58-71 [doi]
- Using Stochastic Optimization to Improve the Detection of Small CheckerboardsHamid Hassannejad, Guido Matrella, Monica Mordonini, Stefano Cagnoni. 75-86 [doi]
- Empowering Agent Coordination with Social EngagementMatteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio. 89-101 [doi]
- Anticipatory Coordination in Socio-Technical Knowledge-Intensive Environments: Behavioural Implicit Communication in MoKStefano Mariani, Andrea Omicini. 102-115 [doi]
- A Kinetic Study of Opinion Dynamics in Multi-agent SystemsStefania Monica, Federico Bergenti. 116-127 [doi]
- Cooperating with Trusted Parties Would Make Life EasierPasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Subhasis Thakur. 128-135 [doi]
- Agent Based Simulation of Incentive Mechanisms on Photovoltaic AdoptionValerio Iachini, Andrea Borghesi, Michela Milano. 136-148 [doi]
- Feature-Based Modelling and Information Systems for EngineeringEmilio M. Sanfilippo, Stefano Borgo. 151-163 [doi]
- A Multi-engine Theorem Prover for a Description Logic of TypicalityLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. 164-178 [doi]
- Advances in Multi-engine ASP SolvingMarco Maratea, Luca Pulina, Francesco Ricca. 179-190 [doi]
- Defeasible Logic Programming in Satisfiability Modulo CHRFrancesco Santini. 191-204 [doi]
- Abstract Solvers for Quantified Boolean Formulas and their ApplicationsRémi Brochenin, Marco Maratea. 205-217 [doi]
- Learning Accurate Cutset Networks by Exploiting DecomposabilityNicola Di Mauro, Antonio Vergari, Floriana Esposito. 221-232 [doi]
- Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised SettingsLuigi Di Caro, Alice Ruggeri, Loredana Cupi, Guido Boella. 233-245 [doi]
- An AI Application to Integrated Tourism PlanningFrancesca Alessandra Lisi, Floriana Esposito. 246-259 [doi]
- Testing a Learn-Verify-Repair Approach for Safe Human-Robot InteractionShashank Pathak, Luca Pulina, Armando Tacchella. 260-273 [doi]
- An Approach to Predicate Invention Based on Statistical Relational ModelStefano Ferilli, Giuseppe Fatiguso. 274-287 [doi]
- Empowered Negative Specialization in Inductive Logic ProgrammingStefano Ferilli, Andrea Pazienza, Floriana Esposito. 288-300 [doi]
- GENOMA: GENeric Ontology Matching ArchitectureRoberto Enea, Maria Teresa Pazienza, Andrea Turbati. 303-315 [doi]
- Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism DomainAntonino Lo Bue, Alberto Machì. 316-326 [doi]
- Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional MethodsGiuseppe Castellucci, Danilo Croce, Roberto Basili. 329-342 [doi]
- Using Semantic Models for Robust Natural Language Human Robot InteractionEmanuele Bastianelli, Danilo Croce, Roberto Basili, Daniele Nardi. 343-356 [doi]
- Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual WikipediaFederico Scozzafava, Alessandro Raganato, Andrea Moro 0001, Roberto Navigli. 357-366 [doi]
- A Logic-Based Approach to Named-Entity Disambiguation in the Web of DataSilvia Giannini 0001, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio. 367-380 [doi]
- Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary RoversDaniel Díaz, Amedeo Cesta, Angelo Oddi, Riccardo Rasconi, María Dolores Rodríguez-Moreno. 383-396 [doi]
- Graph-Based Task Libraries for Robots: Generalization and AutocompletionSteven D. Klee, Guglielmo Gemignani, Daniele Nardi, Manuela M. Veloso. 397-409 [doi]
- Enriching a Temporal Planner with Resources and a Hierarchy-Based HeuristicAlessandro Umbrico, Andrea Orlandini, Marta Cialdea Mayer. 410-423 [doi]
- Integrating Logic and Constraint Reasoning in a Timeline-Based PlannerRiccardo De Benedictis, Amedeo Cesta. 424-437 [doi]
- ASCoL: A Tool for Improving Automatic Planning Domain Model AcquisitionRabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati. 438-451 [doi]
- Approaching Qualitative Spatial Reasoning About Distances and Directions in RoboticsGuglielmo Gemignani, Roberto Capobianco, Daniele Nardi. 452-464 [doi]
- COACHES Cooperative Autonomous Robots in Complex and Human Populated EnvironmentsLuca Iocchi, M. T. Lázaro, Laurent Jeanpierre, Abdel-Illah Mouaddib, Esra Erdem, Hichem Sahli. 465-477 [doi]