OMEGA(ID:3994/ome002)

Knowledge representation language

Attardi and Simi 1981
Related languages
OMEGA => Act2   Incorporated some features of
References:
  • Attardi, G., and Simi, M. "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation" view details
          in Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981 view details