A Quantified Logic of Evidence.

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

logic programming
empirical evidence
proof theory
evidential reasoning
information retrieval
computer vision
database systems
modal logic
databases
set theory
case study
logic programs
automated reasoning
multi valued
logical framework
real time
predicate logic
formal theory
dempster shafer theory
database