Search

Your search keyword '"Calegari, Roberta"' showing total 24 results
Start Over Author "Calegari, Roberta" Publisher springer international publishing

Refine your results

more »

more »

24 results on '"Calegari, Roberta"'

2. Multi-agent Cooperative Argumentation in Arg2P

Author

Pisano, Giuseppe, Calegari, Roberta, Omicini, 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, Dovier, Agostino, editor, Montanari, Angelo, editor, and Orlandini, Andrea, editor

Published
2023
Full Text
View/download PDF

3. The PSyKE Technology for Trustworthy Artificial Intelligence

Author

Calegari, Roberta, Sabbatini, Federico, 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, Dovier, Agostino, editor, Montanari, Angelo, editor, and Orlandini, Andrea, editor

Published
2023
Full Text
View/download PDF

4. Modular Logic Argumentation in Arg-tuProlog

Author

Calegari, Roberta, Contissa, Giuseppe, Pisano, Giuseppe, Sartor, Galileo, Sartor, Giovanni, 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, Bandini, Stefania, editor, Gasparini, Francesca, editor, Mascardi, Viviana, editor, Palmonari, Matteo, editor, and Vizzari, Giuseppe, editor

Published
2022
Full Text
View/download PDF

5. Burden of Persuasion in Meta-argumentation

Author

Pisano, Giuseppe, Calegari, Roberta, Omicini, Andrea, Sartor, Giovanni, 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, Bandini, Stefania, editor, Gasparini, Francesca, editor, Mascardi, Viviana, editor, Palmonari, Matteo, editor, and Vizzari, Giuseppe, editor

Published
2022
Full Text
View/download PDF

8. Burdens of Persuasion and Standards of Proof in Structured Argumentation

Author

Calegari, Roberta, Sartor, Giovanni, 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, Baroni, Pietro, editor, Benzmüller, Christoph, editor, and Wáng, Yὶ N., editor

Published
2021
Full Text
View/download PDF

9. Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming

Author

Calegari, Roberta, Omicini, Andrea, Sartor, Giovanni, 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, Baldoni, Matteo, editor, and Bandini, Stefania, editor

Published
2021
Full Text
View/download PDF

10. Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

Author

Ciatto, Giovanni, Calegari, Roberta, Omicini, 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, Faber, Wolfgang, editor, Friedrich, Gerhard, editor, Gebser, Martin, editor, and Morak, Michael, editor

Published
2021
Full Text
View/download PDF

13. Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines

Author

Calegari, Roberta, Ciatto, Giovanni, Denti, Enrico, Omicini, 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, Montella, Raffaele, editor, Ciaramella, Angelo, editor, Fortino, Giancarlo, editor, Guerrieri, Antonio, editor, and Liotta, Antonio, editor

Published
2019
Full Text
View/download PDF

14. Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS

Author

Omicini, Andrea, Calegari, Roberta, 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, Lin, Donghui, editor, Ishida, Toru, editor, Zambonelli, Franco, editor, and Noda, Itsuki, editor

Published
2019
Full Text
View/download PDF

18. The Butlers Framework for Socio-Technical Smart Spaces

Author

Calegari, Roberta, Denti, Enrico, 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, Bagnoli, Franco, editor, Satsiou, Anna, editor, Stavrakakis, Ioannis, editor, Nesi, Paolo, editor, Pacini, Giovanna, editor, Welp, Yanina, editor, Tiropanis, Thanassis, editor, and DiFranzo, Dominic, editor

Published
2016
Full Text
View/download PDF

23. Context Reasoning and Prediction in Smart Environments: the Home Manager case

Author

Roberta Calegari, Enrico Denti, G. De Pietro, L. Gallo, R. Howlett, l. Jain, Calegari, Roberta, and Denti, Enrico

Subjects
Spacetime, Computer science, business.industry, Smart spaces, Context prediction, Context (language use), Multi-paradigm Programming, Space (commercial competition), Home Manager, Computer security, computer.software_genre, Computing systems, Context reasoning, Smart Space, Smart Environment, User experience design, Human–computer interaction, Smart environment, business, computer
Abstract

In Smart Environments, people are immersed in time and space in an augmented reality: computing systems are ubiquitous, intelligence pervades the whole environment and exploits space and time awareness to provide a globally contextualised, adaptive user experience. Because of their socio-technical nature, the development of Smart Environments calls for skills, concepts, methodologies, technologies from the most diverse fields – AI, coordination, distributed systems, organisational sciences, etc. –, thus inherently calling for a multi-paradigm perspective. This paper explores the Smart Environment context moving from two basic bricks: Butlers for Smart Spaces, a framework for the design of smart services for users immersed and interacting with their surrounding environment; and Home Manager, a multi-paradigm, agent-based platform for the implementation of Smart Living contexts—particularly focused on the reasoning aspects, so as to anticipate the users’ needs. For concreteness, we take a Smart Kitchen as our running example: we first discuss how it can be devised using Butlers for Smart Spaces, and then deployed on the Home Manager platform—highlighting in particular the context reasoning, prediction and adaptation aspects.

Published
2018

24. The Butlers Framework for Socio-Technical Smart Spaces

Author

Roberta Calegari, Enrico Denti, F. Bagnoli, A. Satsiou, I. Stavrakakis, P. Nesi, G. Pacini, Y. Welp, T. Tiropanis, D. DiFranzo, Calegari, Roberta, and Denti, Enrico

Subjects
020203 distributed computing, Sociotechnical system, Ubiquitous computing, Spacetime, Exploit, Computer science, Home intelligence, Smart spaces, 020207 software engineering, Butlers architecture, 02 engineering and technology, computer.software_genre, Smart Spaces: Home Manager, Data science, Virtual machine, 0202 electrical engineering, electronic engineering, information engineering, computer, Socio-Technical System
Abstract

Smart Spaces outline an intriguing application scenario where people are immersed in time and space in an augmented virtual environment, which suitably exploits ubiquitous computing technologies, space and time awareness, and pervasive intelligence. A number of technical, social, pragmatic challenges, arising from several perspectives and domains, need to be dealt with. Moving from a Socio-Technical Systems approach, this paper first introduces the Butlers for Smart Spaces (BSS) architecture, which specialises the Butlers architecture originally defined for Smart Homes to the Smart Spaces scenario; then, it shows how BSS can be mapped onto the Home Manager platform, and discussed how a Smart Space can be designed and developed on its top - in general, and with regard to a specific example.

Published
2016

Catalog

Books, media, physical & digital resources
See catalog results