'. . . and nothing else changes': the frame problem in procedure specifications - Borgida, A.; Mylopoulos, J.; Reiter, R. (Proceedings of 1993 15th International Conference on Software Engineering, 1993)
Keywords: Artificial intelligence; Computer science; Councils; Formal specifications; Intelligent robots; Intelligent systems; Logic; Proposals; Specification languages; Standards development