Why the Frame Problem is not a Problem.

Published in: AI Commun. (1990)

Keyphrases

situation calculus
turing test
reasoning about actions
event calculus
concurrent actions
web services
learning algorithm
prior knowledge
software engineering
logic programming