Specifying database transactions and active rules in the situation calculus (1999)

by L Bertossi, J Pinto, R Valdivia
Venue:Logical Foundations of Cognitive Agents. Contributions in Honor of Ray Reiter