A quantitative approach to logical inference

This publication has 37 references indexed in Scilit:

• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• Complete problems in the first-order predicate calculus
  Journal of Computer and System Sciences, 1984
• Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine
  New England Journal of Medicine, 1982
• Complexity results for classes of quantificational formulas
  Journal of Computer and System Sciences, 1980
• A Combinatorial Decomposition Theory
  Canadian Journal of Mathematics, 1980
• Non-resolution theorem proving
  Artificial Intelligence, 1977
• Prolog - the language and its implementation compared with Lisp
  ACM SIGART Bulletin, 1977
• An Artificial Intelligence program to advise physicians regarding antimicrobial therapy
  Computers and Biomedical Research, 1973
• An Elementary Proof of the Prime-Number Theorem for Arithmetic Progressions
  Canadian Journal of Mathematics, 1950
• A note on the Entscheidungsproblem
  The Journal of Symbolic Logic, 1936