A Self-Adjusting Dynamic Logic Module.

Tony R. Martinez Douglas M. Campbell

Published in: J. Parallel Distributed Comput. (1991)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
agent programming
first order logic
propositional dynamic logic
data sets
relational databases
multi dimensional
search engine
high level
software engineering
general purpose
classical first order logic