70 citations · 114 across the 20 of their papers we have counts for
4 papers · 1 filter
Hybrid Temporal Situation Calculus
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
The ability to model continuous change in Reiter's temporal situation calculus action theories has attracted a lot of interest. In this paper, we propose a new development of his a…
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…
Planning and Synthesis Under Assumptions
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano +1
In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's e…
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito +1
In this work we investigate on the concept of "restraining bolt", envisioned in Science Fiction. Specifically we introduce a novel problem in AI. We have two distinct sets of featu…