Skip to main content
SpringerLink
Log in

An epistemic foundation for logic programming with uncertainty

  • Semantics
  • Conference paper
  • First Online:
Foundation of Software Technology and Theoretical Computer Science (FSTTCS 1994)

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

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. F. Baldwin. Evidential support logic programming. Journal of Fuzzy Sets and Systems, 24: 1–26, 1987.

    Google Scholar 

  2. Colin Bell, Anil Nerode, Raymond T. Ng, and V. S. Subrahmanian. Implementing deductive databases by linear programming. Tech. Report, University of Maryland, 1991.

    Google Scholar 

  3. H. A. Blair and V. S. Subrahmanian. Paraconsistent foundations for logic programming. Journal of Non-Classical Logic, 5(2): 45–73, 1989.

    Google Scholar 

  4. R. Fagin, J. Halpern, and N. Meggido. A logic for reasoning about probabilities. Information and Computation, 1992.

    Google Scholar 

  5. M. C. Fitting. Logic programming on a topological bilattice. Fundamenta Informaticae, 11: 209–218, 1988.

    Google Scholar 

  6. M. C. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11: 91–116, 1991.

    Google Scholar 

  7. U. Güntzer, W. Kießling, and H. Thöne. New directions for uncertainty reasoning in deductive databases. In Proc. ACM SIGMOD Conf., May 1991.

    Google Scholar 

  8. G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen and Co. Ltd., London, U.K., 1972.

    Google Scholar 

  9. M. Kifer and A. Li. On the semantics of rule-based expert systems with uncertainty. In 2nd Intl. Conf, on Database Theory, August 1988.

    Google Scholar 

  10. Michael Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12: 335–367, 1992.

    Google Scholar 

  11. Laks V. S. Lakshmanan. An epistemic foundation for logic programming with uncertainty. Tech. report, Concordia University, Montreal, Canada, 1994.

    Google Scholar 

  12. Laks V. S. Lakshmanan and F. Sadri. Probabilistic deductive databases. Tech. report, Concordia University, Montreal, Canada, 1994.

    Google Scholar 

  13. V. S. Lakshmanan and F. Sadri. Modeling uncertainty in deductive databases. To appear in DEXA '94, Athens, Greece, September 1994.

    Google Scholar 

  14. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.

    Google Scholar 

  15. R. Ng and V. S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2): 150–201, December 1992.

    Google Scholar 

  16. R. T. Ng and V. S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. Tech, Report, University of Maryland, 1990.

    Google Scholar 

  17. Judea Pearl. Probabilistic reasoning in intelligence systems: networks of plausible inference. San Mateo California, Morgan Kaufmann, 1988.

    Google Scholar 

  18. F. Sadri. Reliability of answers to queries in relational databases. IEEE Transactions on Knowledge and Data Engineering, 3(2), June 1991.

    Google Scholar 

  19. M. H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 4(1): 37–53, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Concordia University, Montreal, Quebec

    Laks V. S. Lakshmanan

Authors
  1. Laks V. S. Lakshmanan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. S. Thiagarajan

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lakshmanan, L.V.S. (1994). An epistemic foundation for logic programming with uncertainty. In: Thiagarajan, P.S. (eds) Foundation of Software Technology and Theoretical Computer Science. FSTTCS 1994. Lecture Notes in Computer Science, vol 880. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58715-2_116

Download citation

  • DOI: https://doi.org/10.1007/3-540-58715-2_116

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58715-6

  • Online ISBN: 978-3-540-49054-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation