Towards a systematic approach to representing knowledge in declarative logic programming

Invited Talk
  • Michael Gelfond
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1265)


  1. [BGK93]
    C. Baral, M. Gelfond, and O. Kosheleva. Approximating general logic programs, Proc. ILPS, pp. 181–198, 1993.Google Scholar
  2. [Dev90]
    Y. Deville. Logic Programming: systematic program development, Clark, K., series editor, Addison-Wesley Publishing Co., 1990.Google Scholar
  3. [GP96]
    M. Gelfond and H. Przymusinska. Towards a theory of elaboration tolerance: logic programming approach. International Journal of Software Engineering and Knowledge Engineering, 6(1):89–112, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Michael Gelfond
    • 1
  1. 1.Department of Computer ScienceUniversity of Texas at El PasoEl Paso

Personalised recommendations