Login / Signup
Dynamic Logic With Possible World.
Ruzhan Lu
Published in:
COLING (1994)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
artificial intelligence
database
neural network
information systems
knowledge base
first order logic
dynamical systems
world model
agent programming