We present the AutoConcierge system that can “understand” human dialogs in a specific
domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” …

In this paper we present the key features of Logical English as syntactic sugar for logic
programming languages such as pure Prolog, ASP and s (CASP); and we highlight two …

The development of large language models (LLMs), such as GPT, has enabled the
construction of several socialbots, like ChatGPT, that are receiving a lot of attention for their …

Computational law has its limits—whether these come from the very nature of the law itself
or from technical limitations. By reviewing these limits, two conclusions become clear: That …

My research explores integrating deep learning and logic programming to set the basis for a
new generation of AI systems. By combining neural networks with Inductive Logic …

Logical English for law Page 62 Logical English for Law Robert Kowalski1, Jacinto Dávila2, 3,
Galileo Sartor4, and Miguel Calejo5 1 Department of Computing, Imperial College, London, UK …

In this paper we present an overview of a research project aiming at producing a semi-
automated tool for legal reasoning in the Italian criminal system during the criminal trial …

In this thesis, we explore the notion of commonsense explanation in the context of Artificial
Intelligence by extending the formalism of Answer Set Programming (ASP) with formal …

Don't Starve is a survival video game where the objective is for the player to survive as long
as possible without dying. The game is challenging to play due to new situations being …

Logical English (LE) is a natural language syntax for pure Prolog and other logic
programming languages, such as ASP and s (CASP). Its main applications until now have …