Login / Signup
A Relational View on Gotos and Dynamic Logic.
Rudolf Berghammer
Gunther Schmidt
Published in:
WG (1982)
Keyphrases
</>
dynamic logic
relational databases
relational data
modal logic
reasoning about actions
data model
propositional dynamic logic
imperative programs
artificial intelligence
general purpose
relational learning
database
bayesian networks
multiple views
multi relational
agent programming