Representing null values in logic programming

  • Bonnie Traylor
  • Michael Gelfond
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 813)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Chitta Baral and Michael Gelfond. Logic programming and representation of commonsense reasoning. Manuscript, 1993.Google Scholar
  2. [2]
    Codd E. F. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4(4):397–434, 1979.Google Scholar
  3. [3]
    R Fagin. Monadic generalized spectra. Z. Math Logic, (21):89–96, 1975.Google Scholar
  4. [4]
    Michael Gelfond. Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence, 1992. To appear.Google Scholar
  5. [5]
    Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365–387, 1991.Google Scholar
  6. [6]
    K. Inoue, M. Koshimura, and R. Hasegawa. Embedding negation as failure into a model generation theorem prover. In The Eleventh International Conference on Automated Deduction, 1992.Google Scholar
  7. [7]
    Hector Levesque. The logic of incomplete knowledge bases. In John Mylopoulos and Michael Brodie, editors, Artificial Intelligence and Databases, pages 328–341. Morgan Kaufmann, San Mateo, CA, 1988.Google Scholar
  8. [8]
    Yuan Liu. Null values in definite programs. In Proc. of the 1990 North American Conference on Logic Programming, pages 273–287, 1990.Google Scholar
  9. [9]
    Teodor Przymusinski. Extended stable semantics for normal and disjunctive programs. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. of the Seventh Int'l Conf., pages 459–477, 1990.Google Scholar
  10. [10]
    Raymond Reiter. On integrity constraints. In Moshe Vardi, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. of the Second Conf., pages 97–111, 1988.Google Scholar
  11. [11]
    Raymond Reiter. Towards a logical reconstruction of relational data base theory. In John Mylopoulos and Michael Brodie, editors, Artificial Intelligence and Data Bases, pages 301–327. Morhan Koufmann, San Mateo, Ca., 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Bonnie Traylor
    • 1
  • Michael Gelfond
    • 1
  1. 1.University of Texas at El PasoUSA

Personalised recommendations