Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Obligation-Producing Actions
Kalonji Kalala, Iluju Kiringa, Tet Yeap
This paper proposes a Situation Calculus solution to the frame problem for obligation-producing actions, which are actions that create obligations on the part of the agent that per…
cs.LO2025
Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
Kalonji Kalala, Iluju Kiringa, Tet Yeap
Over more than three decades, the Situation Calculus has established itself as an elegant, powerful, and concise formalism for specifying dynamical domains as well as for reasoning…