Proteus: frame-based nonmonotonic inference system

• 3 January 1989
• book chapter
• Published by Association for Computing Machinery (ACM)
• p. 127-150
• https://doi.org/10.1145/63320.66473

Abstract

Keywords

• FRAME-BASED NONMONOTONIC INFERENCE SYSTEM