A mini-description of the ITL system

  • Nicola Guarino
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 567)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Guarino, N. 1991. A Concise Presentation of ITL. In this volume.Google Scholar
  2. [2]
    Guarino, N. 1991. Efficient handling of transitive relations in Prolog. In preparation.Google Scholar
  3. [3]
    Schmitt, P.H., Wernecke, W. 1990. Tableau Calculus for Order Sorted Logic. In K. H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.), Sorts and Types in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 418, Springer Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Nicola Guarino
    • 1
  1. 1.National Research Council Institute for Systems Dynamics and Bioengineering (LADSEB-CNR)PadovaItaly

Personalised recommendations