Belief representation in a deductivist type-free doxastic logic.

Francesco Orilia

Published in: Minds Mach. (1994)

Keyphrases

multi valued
epistemic logic
probability theory
logical framework
type definitions
real time
logic programming
truth maintenance systems
belief revision
predicate calculus
horn logic
relation algebra
data sets
modal logic
representation scheme
multiple types