Login / Signup
Plausibility Logic.
Daniel Lehmann
Published in:
CSL (1991)
Keyphrases
</>
probability theory
logic programming
modal logic
dempster shafer belief
proof theory
classical logic
automated reasoning
predicate logic
epistemic logic
asynchronous circuits
logical framework
data sets
computational properties
defeasible logic
truth values
inference rules
artificial intelligence