FAPR 1996: Practical Reasoning pp 710-712 | Cite as

The implementation of LENA

• Authors
• Authors and affiliations

• Claudia M. G. M. Oliveira

Conference paper

First Online: 06 August 2005

• 82 Downloads

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)

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

Preview

Unable to display preview. Download preview PDF.

References

1. [BK82]
   Kenneth A. Bowen and R. Kowalski. Amalgamating language and metalanguage in logic programming. A.P.I.C. Studies in Data Processing, 153–172, 1982.Google Scholar
2. [GGMO94a]
   Dov Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. 1994.Google Scholar
3. [GGMO94b]
   Dov Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Lena (a logic engine for natural agent). 1994.Google Scholar
4. [OLi95]
   Claudia Oliveira. An Architecture for Labelled Theorem Proving. PhD thesis, University of London-Imperial College, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

• Claudia M. G. M. Oliveira
  • 1

1. 1.Instituto Militar de Engenharia - IMERio de JaneiroBrazil