Inference for Annotated Logics over Distributive Lattices.

James J. Lu Neil V. Murray Heydar Radjavi Erik Rosenthal Peter Rosenthal

Published in: ISMIS (2002)

Keyphrases

distributive lattices
boolean algebra
inference rules
epistemic logic
modal logic
belief functions
general theory
bayesian networks
dempster shafer
database
artificial intelligence
relational databases
knowledge representation
mathematical model
experimental data