References
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.
Dov Gabbay and U. Reyle. N-prolog: an extension of prolog with hypothetical implications. Journal of Logic Programming, 4:319–355, 1984.
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 CondLP. 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_115
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_115
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