Advertisement

The implementation of LENA

  • Claudia M. G. M. Oliveira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)

Preview

Unable to display preview. Download preview PDF.

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

Personalised recommendations