Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319243085, 9783319243092

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating Logic and Constraint Reasoning in a Timeline-Based Planner

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_32 ◽

2015 ◽

pp. 424-437 ◽

Cited By ~ 3

Author(s):

Riccardo De Benedictis ◽

Amedeo Cesta

Keyword(s):

Constraint Reasoning

Download Full-text

Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_29 ◽

2015 ◽

pp. 383-396

Author(s):

Daniel Díaz ◽

Amedeo Cesta ◽

Angelo Oddi ◽

Riccardo Rasconi ◽

Maria Dolores Rodriguez-Moreno

Keyword(s):

Resource Constrained ◽

Planetary Rovers ◽

Efficient Power

Download Full-text

Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_27 ◽

2015 ◽

pp. 357-366 ◽

Cited By ~ 2

Author(s):

Federico Scozzafava ◽

Alessandro Raganato ◽

Andrea Moro ◽

Roberto Navigli

Keyword(s):

Automatic Identification ◽

Named Entities

Download Full-text

A Multi-engine Theorem Prover for a Description Logic of Typicality

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_13 ◽

2015 ◽

pp. 164-178

Author(s):

Laura Giordano ◽

Valentina Gliozzi ◽

Nicola Olivetti ◽

Gian Luca Pozzato ◽

Luca Violanti

Keyword(s):

Description Logic ◽

Theorem Prover

Download Full-text

A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_28 ◽

2015 ◽

pp. 367-380 ◽

Cited By ~ 2

Author(s):

Silvia Giannini ◽

Simona Colucci ◽

Francesco M. Donini ◽

Eugenio Di Sciascio

Keyword(s):

Named Entity ◽

Web Of Data ◽

Entity Disambiguation ◽

Named Entity Disambiguation ◽

The Web

Download Full-text

Swarm-Based Controller for Traffic Lights Management

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_2 ◽

2015 ◽

pp. 17-30 ◽

Cited By ~ 4

Author(s):

Federico Caselli ◽

Alessio Bonfietti ◽

Michela Milano

Keyword(s):

Traffic Lights

Download Full-text

Feature-Based Modelling and Information Systems for Engineering

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_12 ◽

2015 ◽

pp. 151-163 ◽

Cited By ~ 1

Author(s):

Emilio M. Sanfilippo ◽

Stefano Borgo

Keyword(s):

Information Systems ◽

Feature Based

Download Full-text

Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_5 ◽

2015 ◽

pp. 58-71

Author(s):

Luca Crociani ◽

Andrea Piazzoni ◽

Giuseppe Vizzari ◽

Stefania Bandini

Keyword(s):

Hybrid Agent ◽

Tactical Decisions ◽

Pedestrian Simulation

Download Full-text

Empowered Negative Specialization in Inductive Logic Programming

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_22 ◽

2015 ◽

pp. 288-300 ◽

Cited By ~ 1

Author(s):

Stefano Ferilli ◽

Andrea Pazienza ◽

Floriana Esposito

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic

Download Full-text

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence ◽

10.1007/978-3-319-24309-2_20 ◽

2015 ◽

pp. 260-273 ◽

Cited By ~ 1

Author(s):

Shashank Pathak ◽

Luca Pulina ◽

Armando Tacchella

Keyword(s):

Human Robot Interaction ◽

Robot Interaction

Download Full-text

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial IntelligenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Integrating Logic and Constraint Reasoning in a Timeline-Based Planner

Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers

Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia

A Multi-engine Theorem Prover for a Description Logic of Typicality

A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data

Swarm-Based Controller for Traffic Lights Management

Feature-Based Modelling and Information Systems for Engineering

Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach

Empowered Negative Specialization in Inductive Logic Programming

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction

Lecture Notes in Computer Science - AI*IA 2015 Advances in Artificial Intelligence
Latest Publications