On the Frame Problem in Procedure Specifications.

Alexander Borgida John Mylopoulos Raymond Reiter

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

high level
objective function
database
databases
knowledge base
web services
event calculus