"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.

Alexander Borgida John Mylopoulos Raymond Reiter

Published in: ICSE (1993)

Keyphrases

specification language
real time
situation calculus
case study
knowledge representation
formal specification