A Non-Deterministic Semantics for Tractable Inference.

James M. Crawford David W. Etherington

Published in: AAAI/IAAI (1998)

Keyphrases

formal semantics
probabilistic inference
logic programming
bayesian networks
inference process
semantic information
lexical semantics
argumentation semantics
optimal solution
special case
probabilistic reasoning
model theoretic
computationally tractable
fixpoint semantics