Search

Your search keyword '"Orlandini, AndreA"' showing total 354 results
Start Over Author "Orlandini, AndreA"

Refine your results

more »

more »

more »

more »
354 results on '"Orlandini, AndreA"'

1. TRIFFID: Autonomous Robotic Aid For Increasing First Responders Efficiency

Author

Cani, Jorgen, Koletsis, Panagiotis, Foteinos, Konstantinos, Kefaloukos, Ioannis, Argyriou, Lampros, Falelakis, Manolis, Del Pino, Iván, Santamaria-Navarro, Angel, Čech, Martin, Severa, Ondřej, Umbrico, Alessandro, Fracasso, Francesca, Orlandini, AndreA, Drakoulis, Dimitrios, Markakis, Evangelos, and Papadopoulos, Georgios Th.

Subjects
Computer Science - Robotics, Computer Science - Artificial Intelligence
Abstract

The increasing complexity of natural disaster incidents demands innovative technological solutions to support first responders in their efforts. This paper introduces the TRIFFID system, a comprehensive technical framework that integrates unmanned ground and aerial vehicles with advanced artificial intelligence functionalities to enhance disaster response capabilities across wildfires, urban floods, and post-earthquake search and rescue missions. By leveraging state-of-the-art autonomous navigation, semantic perception, and human-robot interaction technologies, TRIFFID provides a sophisticated system com- posed of the following key components: hybrid robotic platform, centralized ground station, custom communication infrastructure, and smartphone application. The defined research and development activities demonstrate how deep neural networks, knowledge graphs, and multimodal information fusion can enable robots to autonomously navigate and analyze disaster environ- ments, reducing personnel risks and accelerating response times. The proposed system enhances emergency response teams by providing advanced mission planning, safety monitoring, and adaptive task execution capabilities. Moreover, it ensures real- time situational awareness and operational support in complex and risky situations, facilitating rapid and precise information collection and coordinated actions.

Published
2025

2. REPAIR Platform: Robot-AidEd PersonAlIzed Rehabilitation

Author

Tamantini, Christian, Umbrico, Alessandro, Orlandini, Andrea, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Artale, Alessandro, editor, Cortellessa, Gabriella, editor, and Montali, Marco, editor

Published
2025
Full Text
View/download PDF

3. Integrating Temporal Planning and Knowledge Representation to Generate Personalized Touristic Itineraries

Author

Gola, Silvia, Capaldi, Donatella, Chivirì, Alessandra, Jaziri, Mohamed Ali, Leopardi, Laura, Malatesta, Saverio Giulio, Muci, Irene, Orlandini, Andrea, Umbrico, Alessandro, Bucciero, Alberto, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Artale, Alessandro, editor, Cortellessa, Gabriella, editor, and Montali, Marco, editor

Published
2025
Full Text
View/download PDF

4. Optimal task and motion planning and execution for human-robot multi-agent systems in dynamic environments

Author

Faroni, Marco, Umbrico, Alessandro, Beschi, Manuel, Orlandini, Andrea, Cesta, Amedeo, and Pedrocchi, Nicola

Subjects
Computer Science - Robotics, Computer Science - Artificial Intelligence
Abstract

Combining symbolic and geometric reasoning in multi-agent systems is a challenging task that involves planning, scheduling, and synchronization problems. Existing works overlooked the variability of task duration and geometric feasibility that is intrinsic to these systems because of the interaction between agents and the environment. We propose a combined task and motion planning approach to optimize sequencing, assignment, and execution of tasks under temporal and spatial variability. The framework relies on decoupling tasks and actions, where an action is one possible geometric realization of a symbolic task. At the task level, timeline-based planning deals with temporal constraints, duration variability, and synergic assignment of tasks. At the action level, online motion planning plans for the actual movements dealing with environmental changes. We demonstrate the approach effectiveness in a collaborative manufacturing scenario, in which a robotic arm and a human worker shall assemble a mosaic in the shortest time possible. Compared with existing works, our approach applies to a broader range of applications and reduces the execution time of the process., Comment: 12 pages, 6 figures, accepted for publication on IEEE Transactions on Cybernetics in March 2023

Published
2023
Full Text
View/download PDF

5. Risk-Aware Task Sequencing for Human-Robot Collaboration

Author

Bonini, Alex, Cesta, Amedeo, Cialdea Mayer, Marta, Orlandini, Andrea, Umbrico, Alessandro, Chaari, Fakher, Series Editor, Gherardini, Francesco, Series Editor, Ivanov, Vitalii, Series Editor, Haddar, Mohamed, Series Editor, Cavas-Martínez, Francisco, Editorial Board Member, di Mare, Francesca, Editorial Board Member, Kwon, Young W., Editorial Board Member, Tolio, Tullio A. M., Editorial Board Member, Trojanowska, Justyna, Editorial Board Member, Schmitt, Robert, Editorial Board Member, Xu, Jinyang, Editorial Board Member, Wagner, Achim, editor, Alexopoulos, Kosmas, editor, and Makris, Sotiris, editor

Published
2024
Full Text
View/download PDF

9. Learning User Habits to Enhance Robotic Daily-Living Assistance

Author

Pantaleoni, Matteo, Cesta, Amedeo, Umbrico, Alessandro, Orlandini, Andrea, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cavallo, Filippo, editor, Cabibihan, John-John, editor, Fiorini, Laura, editor, Sorrentino, Alessandra, editor, He, Hongsheng, editor, Liu, Xiaorui, editor, Matsumoto, Yoshio, editor, and Ge, Shuzhi Sam, editor

Published
2022
Full Text
View/download PDF

10. Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification

Author

Orlandini, Andrea and Zimmermann, Martin

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract

This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbr\"ucken, Germany, from the 26th to the 28th of September 2018. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.

Published
2018
Full Text
View/download PDF

11. A game-theoretic approach to timeline-based planning with uncertainty

Author

Gigante, Nicola, Montanari, Angelo, Mayer, Marta Cialdea, Orlandini, Andrea, and Reynolds, Mark

Subjects
Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory
Abstract

In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space., Comment: Published in Proceedings of TIME 2018 (https://time2018.ipipan.waw.pl)

Published
2018
Full Text
View/download PDF

12. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification

Author

Bouyer, Patricia, Orlandini, Andrea, and Pietro, Pierluigi San

Subjects
Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract

This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy, from the 20th to the 22nd of September 2017. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.

Published
2017
Full Text
View/download PDF

13. AI and robotics to help older adults: Revisiting projects in search of lessons learned

Author

Cortellessa Gabriella, De Benedictis Riccardo, Fracasso Francesca, Orlandini Andrea, Umbrico Alessandro, and Cesta Amedeo

Subjects
assistive technologies, intelligent artefacts, robotics, artificial intelligence, Technology
Abstract

This article is a retrospective overview of work performed in the domain of Active Assisted Living over a span of almost 18 years. The authors have been creating and refining artificial intelligence (AI) and robotics solutions to support older adults in maintaining their independence and improving their quality of life. The goal of this article is to identify strong features and general lessons learned from those experiences and conceive guidelines and new research directions for future deployment, also relying on an analysis of similar research efforts. The work considers key points that have contributed to increase the success of the innovative solutions grounding them on known technology acceptance models. The analysis is presented with a threefold perspective: A Technological vision illustrates the characteristics of the support systems to operate in a real environment with continuity, robustness, and safety; a Socio-Health perspective highlights the role of experts in the socio-assistance domain to provide contextualized and personalized help based on actual people’s needs; finally, a Human dimension takes into account the personal aspects that influence the interaction with technology in the long term experience. The article promotes the crucial role of AI and robotics in ensuring intelligent and situated assistive behaviours. Finally, considering that the produced solutions are socio-technical systems, the article suggests a transdisciplinary approach in which different relevant disciplines merge together to have a complete, coordinated, and more informed vision of the problem.

Published
2021
Full Text
View/download PDF

20. Will Robin Ever Help 'Nonna Lea' Using Artificial Intelligence?

Author

Cesta, Amedeo, Cortellessa, Gabriella, Orlandini, Andrea, Umbrico, Alessandro, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Ruediger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Leone, Alessandro, editor, Caroppo, Andrea, editor, Rescio, Gabriele, editor, Diraco, Giovanni, editor, and Siciliano, Pietro, editor

Published
2019
Full Text
View/download PDF

21. Giraff Meets KOaLa to Better Reason on Sensor Networks

Author

Cesta, Amedeo, Coraci, Luca, Cortellessa, Gabriella, De Benedictis, Riccardo, Orlandini, Andrea, Sorrentino, Alessandra, Umbrico, Alessandro, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Ruediger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Andò, Bruno, editor, Baldini, Francesco, editor, Di Natale, Corrado, editor, Ferrari, Vittorio, editor, Marletta, Vincenzo, editor, Marrazza, Giovanna, editor, Militello, Valeria, editor, Miolo, Giorgia, editor, Rossi, Marco, editor, Scalise, Lorenzo, editor, and Siciliano, Pietro, editor

Published
2019
Full Text
View/download PDF

22. A Semantic Representation of Sensor Data to Promote Proactivity in Home Assistive Robotics

Author

Cesta, Amedeo, Cortellessa, Gabriella, Orlandini, Andrea, Sorrentino, Alessandra, Umbrico, Alessandro, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Arai, Kohei, editor, Kapoor, Supriya, editor, and Bhatia, Rahul, editor

Published
2019
Full Text
View/download PDF

23. Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains

Author

Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta, Orlandini, Andrea, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Alviano, Mario, editor, Greco, Gianluigi, editor, and Scarcello, Francesco, editor

Published
2019
Full Text
View/download PDF

26. A Goal Triggering Mechanism for Continuous Human-Robot Interaction

Author

Umbrico, Alessandro, Cesta, Amedeo, Cortellessa, Gabriella, Orlandini, Andrea, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Ghidini, Chiara, editor, Magnini, Bernardo, editor, Passerini, Andrea, editor, and Traverso, Paolo, editor

Published
2018
Full Text
View/download PDF

30. PLATINUm: A New Framework for Planning and Acting

Author

Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta, Orlandini, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Esposito, Floriana, editor, Basili, Roberto, editor, Ferilli, Stefano, editor, and Lisi, Francesca A., editor

Published
2017
Full Text
View/download PDF

31. Enhancing awareness of industrial robots in collaborative manufacturing.

Author

Umbrico, Alessandro, Cesta, Amedeo, and Orlandini, Andrea

Subjects
CONSCIOUSNESS raising, INDUSTRIAL robots, KNOWLEDGE representation (Information theory), ARTIFICIAL intelligence, ONTOLOGY, ROBOTS
Abstract

The diffusion of Human-Robot Collaborative cells is prevented by several barriers. Classical control approaches seem not yet fully suitable for facing the variability conveyed by the presence of human operators beside robots. The capabilities of representing heterogeneous knowledge representation and performing abstract reasoning are crucial to enhance the flexibility of control solutions. To this aim, the ontology SOHO (Sharework Ontology for Human-Robot Collaboration) has been specifically designed for representing Human-Robot Collaboration scenarios, following a context-based approach. This work brings several contributions. This paper proposes an extension of SOHO to better characterize behavioral constraints of collaborative tasks. Furthermore, this work shows a knowledge extraction procedure designed to automatize the synthesis of Artificial Intelligence plan-based controllers for realizing flexible coordination of human and robot behaviors in collaborative tasks. The generality of the ontological model and the developed representation capabilities as well as the validity of the synthesized planning domains are evaluated on a number of realistic industrial scenarios where collaborative robots are actually deployed. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

33. Steps in Assessing a Timeline-Based Planner

Author

Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta, Orlandini, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Adorni, Giovanni, editor, Cagnoni, Stefano, editor, Gori, Marco, editor, and Maratea, Marco, editor

Published
2016
Full Text
View/download PDF

35. Frontmatter

Author

Barták, Roman, primary, Orlandini, Andrea, additional, Vallati, Mauro, additional, Koenig, Sven, additional, and Stern, Roni, additional

Published
2023
Full Text
View/download PDF

38. Enhancing awareness of industrial robots in collaborative manufacturing

Author

Umbrico, Alessandro, Cesta, Amedeo, and Orlandini, Andrea

Subjects
Human-Robot Collaboration, Ontology, Artificial Intelligence, Automated planning and scheduling, Kknowledge representation and reasoning
Abstract

The diffusion of Human-Robot Collaborative cells is prevented by several barriers. Classical control approaches seem not yet fully suitable for facing the variability conveyed by the presence of human operators beside robots. The capabilities of representing heterogeneous knowledge representation and performing abstract reasoning are crucial to enhance the flexibility of control solutions. To this aim, the ontology SOHO (Sharework Ontology for Human-Robot Collaboration) has been specifically designed for representing Human-Robot Collaboration scenarios, following a context-based approach. This work brings several contributions. This paper proposes an extension of SOHO to better characterize behavioral constraints of collaborative tasks. Furthermore, this work shows a knowledge extraction procedure designed to automatize the synthesis of Artificial Intelligence plan-based controllers for realizing flexible coordination of human and robot behaviors in collaborative tasks. The generality of the ontological model and the developed representation capabilities as well as the validity of the synthesized planning domains are evaluated on a number of realistic industrial scenarios where collaborative robots are actually deployed.

Published
2023

41. User-Oriented Services Based on Sensor Data

Author

Barsocchi, Paolo, Bernardi, Giulio, Cesta, Amedeo, Coraci, Luca, Cortellessa, Gabriella, De Benedictis, Riccardo, Furfari, Francesco, Orlandini, Andrea, Palumbo, Filippo, Štimec, Aleš, Guglielmelli, Eugenio, Series editor, Andò, Bruno, editor, Siciliano, Pietro, editor, Marletta, Vincenzo, editor, and Monteriù, Andrea, editor

Published
2015
Full Text
View/download PDF

42. Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic

Author

Umbrico, Alessandro, Orlandini, Andrea, Mayer, Marta Cialdea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gavanelli, Marco, editor, Lamma, Evelina, editor, and Riguzzi, Fabrizio, editor

Published
2015
Full Text
View/download PDF

44. From Sensor Data to User Services in GiraffPlus

Author

Cesta, Amedeo, Coraci, Luca, Cortellessa, Gabriella, De Benedictis, Riccardo, Furfari, Francesco, Orlandini, Andrea, Palumbo, Filippo, Štimec, Aleš, Longhi, Sauro, editor, Siciliano, Pietro, editor, Germani, Michele, editor, and Monteriù, Andrea, editor

Published
2014
Full Text
View/download PDF

48. Integrating Planning and Scheduling in the ISS Fluid Science Laboratory Domain

Author

Cesta, Amedeo, De Benedictis, Riccardo, Orlandini, Andrea, Rasconi, Riccardo, Carotenuto, Luigi, Ceriello, Antonio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ali, Moonis, editor, Bosse, Tibor, editor, Hindriks, Koen V., editor, Hoogendoorn, Mark, editor, Jonker, Catholijn M., editor, and Treur, Jan, editor

Published
2013
Full Text
View/download PDF

49. Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System

Author

Bisiani, Roberto, Merico, Davide, Pinardi, Stefano, Dominoni, Matteo, Cesta, Amedeo, Orlandini, Andrea, Rasconi, Riccardo, Suriano, Marco, Umbrico, Alessandro, Sabuncu, Orkunt, Schaub, Torsten, D’Aloisi, Daniela, Nicolussi, Raffaele, Papa, Filomena, Bouglas, Vassilis, Giakas, Giannis, Kavatzikidis, Thanassis, Bonfiglio, Silvio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ali, Moonis, editor, Bosse, Tibor, editor, Hindriks, Koen V., editor, Hoogendoorn, Mark, editor, Jonker, Catholijn M., editor, and Treur, Jan, editor

Published
2013
Full Text
View/download PDF

50. Integrating Knowledge Engineering for Planning with Validation and Verification Tools

Author

Orlandini, Andrea, Bernardi, Giulio, Cesta, Amedeo, Finzi, Alberto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Baldoni, Matteo, editor, Baroglio, Cristina, editor, Boella, Guido, editor, and Micalizio, Roberto, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results