27 citations · 50 across the 11 of their papers we have counts for
13 papers
Multi-Structural Games and Beyond
Marco Carmosino, Ronald Fagin, Neil Immerman +3
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeuc…
Towards a Unification of Logic and Information Theory
Luis A. Lastras, Barry Trager, Jonathan Lenchner +5
Today, the vast majority of the world's digital information is represented using the fundamental assumption, introduced by Claude Shannon in 1948, that ``...the semantic aspects of…
On the Number of Quantifiers as a Complexity Measure
Ronald Fagin, Jonathan Lenchner, Nikhil Vyas +1
In 1981, Neil Immerman described a two-player game, which he called the "separability game" \cite{Immerman81}, that captures the number of quantifiers needed to describe a property…
Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments
Marianna B. Ganapini, Murray Campbell, Francesco Fabiano +8
Current AI systems lack several important human capabilities, such as adaptability, generalizability, self-control, consistency, common sense, and causal reasoning. We believe that…
Thinking Fast and Slow in AI: the Role of Metacognition
Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano +7
AI systems have seen dramatic advancement in recent years, bringing many applications that pervade our everyday life. However, we are still mostly seeing instances of narrow AI: ma…
E-PDDL: A Standardized Way of Defining Epistemic Planning Problems
Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner +3
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 th…