Skip to main content
SpringerLink
Log in

A mini-description of the ITL system

  • Conference paper
  • First Online:
Processing Declarative Knowledge (PDK 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 567))

Included in the following conference series:

  • 178 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Bibliography

  1. Guarino, N. 1991. A Concise Presentation of ITL. In this volume.

    Google Scholar 

  2. Guarino, N. 1991. Efficient handling of transitive relations in Prolog. In preparation.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. National Research Council Institute for Systems Dynamics and Bioengineering (LADSEB-CNR), Corso Stati Uniti 4, I-35020, Padova, Italy

    Nicola Guarino

Authors
  1. Nicola Guarino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Harold Boley Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Guarino, N. (1991). A mini-description of the ITL system. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013549

Download citation

  • DOI: https://doi.org/10.1007/BFb0013549

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55033-4

  • Online ISBN: 978-3-540-46667-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation