1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Abstracting Situation Calculus Action Theories
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification…
cs.LO2023★ 1 cited
Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondet…