On the frame problem in procedure specifications

Journal article

A Borgida, J Mylopoulos and R Reiter

IEEE transactions on software engineering, Vol.21(10), pp.785-798

1995

Abstract

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Learning and adaptive systems

Programming languages

Software

Software engineering

9 Record Views

Title: On the frame problem in procedure specifications
Creators: A Borgida - Rutgers univ., dep. computer sci., New Brunswick NJ 08904, United States
J Mylopoulos - Rutgers univ., dep. computer sci., New Brunswick NJ 08904, United States
R Reiter - Rutgers univ., dep. computer sci., New Brunswick NJ 08904, United States
Publication Details: IEEE transactions on software engineering, Vol.21(10), pp.785-798
Date published: 1995
Publisher: Institute of Electrical and Electronics Engineers
Academic Unit: Computer Science (SAS)
Language: English
Resource Type: Journal article
Identifiers: 991031665675904646