C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Encoding Solutions of the Frame Problem in Dynamic Logic.
Norman Y. Foo
Dongmo Zhang
Yan Zhang
Samir Chopra
Quoc Bao Vo
Published in:
LPNMR (2001)
Keyphrases
</>
dynamic logic
reasoning about actions
logic programming
modal logic
imperative programs
optimal solution
situation calculus
action language
propositional dynamic logic