The Frame Problem and the Semantics of Classical Proofs.

Published in: Turing-100 (2012)

Keyphrases

logic programming
formal semantics
situation calculus
reasoning about actions
relational databases
semantic information
semantic representation
event calculus
turing test
mathematical proofs