First-Order Dynamic Logic for Compensable Processes.

Roberto Bruni Carla Ferreira Anne Kersten Kauer

Published in: COORDINATION (2012)

Keyphrases

dynamic logic
classical first order logic
first order logic
higher order
modal logic
imperative programs
reasoning about actions
multiple input
high level
neural network
agent programming
data sets
artificial intelligence
information systems
multi agent
expert systems