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