Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP.

Rahul Roy-Chowdhury Mukesh Dalal

Published in: AAAI/IAAI (1997)

Keyphrases

np hard
computational complexity
optimal solution
search space
data model
special case
hidden markov models
probabilistic model
model theoretic
machine learning
expert systems
inference rules