Bibliography
Guarino, N. 1991. A Concise Presentation of ITL. In this volume.
Guarino, N. 1991. Efficient handling of transitive relations in Prolog. In preparation.
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.
Author information
Authors and Affiliations
Editor information
Rights 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