12 citations · 12 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 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…
cs.LO2025
Logical foundations of Smart Contracts
Kalonji Kalala
Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart…