A logic of plausible justifications.

Luis Menasché Schechter

Published in: Theor. Comput. Sci. (2015)

Keyphrases

classical logic
logic programming
modal logic
truth maintenance systems
predicate logic
sound and complete axiomatization
real world
clustering algorithm
multi valued
computational properties
digital circuits
epistemic logic
deductive reasoning