Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem.

Tania Bedrax-Weiss Leopoldo E. Bertossi

Published in: SBIA (1995)

Keyphrases

situation calculus
action theories
linear equations
logic programming
closed form
reasoning tasks
model theoretic
optimal solution
formal semantics
concurrent actions
data sets
relational databases