Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.

Dongmo Zhang Norman Y. Foo

Published in: JELIA (2002)

Keyphrases

situation calculus
action theories
reasoning about actions
modal logic
action language
concurrent actions
neural network
interpolation methods
knowledge representation
desirable properties
dynamic logic
proof theory