Sciweavers

AIIA
2015
Springer
9 years 9 months ago
Multimodal Interaction with Co-located Drones for Search and Rescue
We present a multimodal interaction framework that allows a human operator to interact with co-located drones during search and rescue missions. In contrast with usual human-multid...
Jonathan Cacace, Alberto Finzi, Vincenzo Lippiello
AIIA
2015
Springer
9 years 9 months ago
Industrial Collaborative Robot Design: a Guideline for Future Design Activity
This study explores the rapidly expanding Collaborative Robot market and the recent literature in social robotics. An attempt is made to interpret both resources to define macro-pa...
Daniele Baratta
AIIA
2015
Springer
9 years 9 months ago
A Multi-engine Theorem Prover for a Description Logic of Typicality
Abstract. We describe DysToPic, a theorem prover for the preferential Description Logic ALC + Tmin.This is a nonmonotonic extension of standard ALC based on a typicality operator T...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
AIIA
2015
Springer
9 years 9 months ago
Learning Accurate Cutset Networks by Exploiting Decomposability
The rising interest around tractable Probabilistic Graphical Models is due to the guarantees on inference feasibility they provide. Among them, Cutset Networks (CNets) have recentl...
Nicola Di Mauro, Antonio Vergari, Floriana Esposit...
AIIA
2015
Springer
9 years 9 months ago
Biblioteche digitali e ontologie
Abstract. L’annotazione ontologica della conoscenza contenuta nelle opere latine disponibili nella biblioteca digitale digilibLT permette di aprire prospettive di ricerca del tut...
Maurizio Lana
AIIA
2015
Springer
9 years 9 months ago
Will AI ever Support Design Thinking?
This paper addresses the question of whether AI will ever support Design Thinking, with a focus on Architecture and Urban Planning, by analyzing the current trends of research in A...
Francesca Alessandra Lisi
AIIA
2015
Springer
9 years 9 months ago
New Heuristics for Timeline-Based Planning
Abstract. The timeline-based approach to planning represents an effective alternative to classical planning in complex domains where different types of reasoning are required in pa...
Riccardo De Benedictis, Amedeo Cesta
AIIA
2015
Springer
9 years 9 months ago
On the Ontological Status of Design Objects
In the design process, architects tend to choose and arrange together primitive geometrical elements according to their own cognitive environment (as reflected by culture and educa...
Nicola Guarino, Maria Rosaria Stufano Melone
AIIA
2015
Springer
9 years 9 months ago
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques
The adoption of Description Logics for modeling real world domains within the Semantic Web is exponentially increased in the last years, also due to the availability of a large num...
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Ev...
AIIA
2015
Springer
9 years 9 months ago
Large-scale Information Extraction for Assisted Curation of the Biomedical Literature
PubMed, the main literature repository for the life sciences, contains more than 23 million publication references. In average nearly two publications per minute are added. There i...
Fabio Rinaldi, Lenz Furrer, Simon Clematide