References
Kenneth A. Bowen and R. Kowalski. Amalgamating language and metalanguage in logic programming. A.P.I.C. Studies in Data Processing, 153–172, 1982.
Dov Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. 1994.
Dov Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Lena (a logic engine for natural agent). 1994.
Claudia Oliveira. An Architecture for Labelled Theorem Proving. PhD thesis, University of London-Imperial College, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oliveira, C.M.G.M. (1996). The implementation of LENA. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_114
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_114
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive