PROTEUS(ID:7721/)

Frame language
References:
  • Petrie, C.J. Jr.; D.M. Russinoff, D.D. Steiner, and N. Ballou. Proteus 2: System description. Technical Report AI-136-87, MCC, May 1987 view details
  • Russinoff. D.M. Proteus: A frame-based nonmonotonic inference system. Technical Report ACA-AI-302-87, MCC, 1987. view details