Quantlog: A system for approximate reasoning in inconsistent formal systems

  • V. S. Subrahmanian
  • Zerksis D. Umrigar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [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. [2]
    Subrahmanian,V.S. “Towards a Theory of Evidential Reasoning in Logic Programming”, Logic Colloquium '87.Google Scholar
  3. [3]
    Subrahmanian, V.S. “Query Processing in Quantitative Logic Programming”, these proceedings.Google Scholar
  4. [4]
    B.G. Buchanan and E.H. Shortcliffe, “Rule-Based Expert Systems”, Addison-Wesley, Reading, MA., 1985.Google Scholar
  5. [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. [6]
    Van Emden, M.H. “Quantitative Deduction and its Fixpoint Theory”, J. of Logic Programming, 4,1, pps 37–53, 1986.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • V. S. Subrahmanian
    • 1
  • Zerksis D. Umrigar
    • 2
  1. 1.School of Computer & Information ScienceSyracuse UniversitySyracuse
  2. 2.Computer Science DepartmentSUNY at BinghamtonBinghamton

Personalised recommendations