no code implementations • 4 Jan 2024 • Vishal Pallagani, Kaushik Roy, Bharath Muppasani, Francesco Fabiano, Andrea Loreggia, Keerthiram Murugesan, Biplav Srivastava, Francesca Rossi, Lior Horesh, Amit Sheth
Automated Planning and Scheduling is among the growing areas in Artificial Intelligence (AI) where mention of LLMs has gained popularity.
no code implementations • 28 Aug 2023 • Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023.
no code implementations • 14 Jul 2023 • Marianna B. Ganapini, Francesco Fabiano, Lior Horesh, Andrea Loreggia, Nicholas Mattei, Keerthiram Murugesan, Vishal Pallagani, Francesca Rossi, Biplav Srivastava, Brent Venable
Values that are relevant to a specific decision scenario are used to decide when and how to use each of these nudging modalities.
no code implementations • 25 May 2023 • Vishal Pallagani, Bharath Muppasani, Keerthiram Murugesan, Francesca Rossi, Biplav Srivastava, Lior Horesh, Francesco Fabiano, Andrea Loreggia
Firstly, we want to understand the extent to which LLMs can be used for plan generation.
no code implementations • 7 Mar 2023 • Francesco Fabiano, Vishal Pallagani, Marianna Bergamaschi Ganapini, Lior Horesh, Andrea Loreggia, Keerthiram Murugesan, Francesca Rossi, Biplav Srivastava
The concept of Artificial Intelligence has gained a lot of attention over the last decade.
no code implementations • 16 Dec 2022 • Vishal Pallagani, Bharath Muppasani, Keerthiram Murugesan, Francesca Rossi, Lior Horesh, Biplav Srivastava, Francesco Fabiano, Andrea Loreggia
Large Language Models (LLMs) have been the subject of active research, significantly advancing the field of Natural Language Processing (NLP).
no code implementations • 18 Jan 2022 • Marianna B. Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Taher Rahgooy, Francesca Rossi, Biplav Srivastava, Brent Venable
Current AI systems lack several important human capabilities, such as adaptability, generalizability, self-control, consistency, common sense, and causal reasoning.
no code implementations • 5 Oct 2021 • Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable
AI systems have seen dramatic advancement in recent years, bringing many applications that pervade our everyday life.
no code implementations • 17 Sep 2021 • Francesco Fabiano
In particular, this manuscript is focused on a specialized kind of planning known as Multi-agent Epistemic Planning (MEP).
no code implementations • 19 Jul 2021 • Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi, Marianna Bergamaschi Ganapini
Epistemic Planning (EP) refers to an automated planning setting where the agent reasons in the space of knowledge states and tries to find a plan to reach a desirable state from the current state.
no code implementations • 12 Oct 2020 • Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jon Lenchner, Nick Linck, Andrea Loreggia, Keerthiram Murugesan, Nicholas Mattei, Francesca Rossi, Biplav Srivastava
This paper proposes a research direction to advance AI which draws inspiration from cognitive theories of human decision making.
no code implementations • 7 Aug 2020 • Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
In these scenarios, epistemic reasoning, i. e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies.
no code implementations • 18 Sep 2019 • Francesco Fabiano
This type of reasoning, i. e., about agents' perception of the world and also about agents' knowledge of her and others' knowledge, is referred to as epistemic reasoning.