A concise presentation of ITL, ACM SIGART Bulletin, special issue on Implemented Knowledge Representation and Reasoning Systems (1991)

by N Guarino
Venue:Proc. of Int. Workshop on Processing Declarative Knowledge (PDK '91) (Lectures Notes in Artificial Intelligence