Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Deduction

CADE 1988: 9th International Conference on Automated Deduction pp 746–747Cite as

Quantlog: A system for approximate reasoning in inconsistent formal systems

  • Conference paper
  • First Online:

  • 160 Accesses

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

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

References

  1. Subrahmanian,V.S. “On the Semantics of Quantitative Logic Programs”, Proc. 4th IEEE Symp. on Logic Programming, pps 173–182, San Francisco, Sep. 1987.

    Google Scholar 

  2. Subrahmanian,V.S. “Towards a Theory of Evidential Reasoning in Logic Programming”, Logic Colloquium '87.

    Google Scholar 

  3. Subrahmanian, V.S. “Query Processing in Quantitative Logic Programming”, these proceedings.

    Google Scholar 

  4. B.G. Buchanan and E.H. Shortcliffe, “Rule-Based Expert Systems”, Addison-Wesley, Reading, MA., 1985.

    Google Scholar 

  5. Thistlewaite,P.,McRobbie,M.,Meyer,R.K. “The KRIPKE Automated Theorem Proving System”, Proc. 8th CADE, Lecture Notes in Computer Science, pps 705–706.

    Google Scholar 

  6. Van Emden, M.H. “Quantitative Deduction and its Fixpoint Theory”, J. of Logic Programming, 4,1, pps 37–53, 1986.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer & Information Science, Syracuse University, 313 Link Hall, 13244-1240, Syracuse, NY

    V. S. Subrahmanian

  2. Computer Science Department, SUNY at Binghamton, Binghamton, NY

    Zerksis D. Umrigar

Authors
  1. V. S. Subrahmanian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zerksis D. Umrigar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Subrahmanian, V.S., Umrigar, Z.D. (1988). Quantlog: A system for approximate reasoning in inconsistent formal systems. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012878

Download citation

  • DOI: https://doi.org/10.1007/BFb0012878

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19343-2

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation