Synthesizing advanced transaction models using the situation calculus.

Iluju Kiringa Alfredo Gabaldon

Published in: J. Intell. Inf. Syst. (2010)

Keyphrases

situation calculus
advanced transaction models
event calculus
initial state
action theories
fluent calculus
modal logic
reasoning about actions
concurrent actions
provably correct
sensing actions
indirect effects
database
logical language
temporal logic
mobile devices
taxonomic reasoning
databases