PEL-CNF: Probabilistic event logic conjunctive normal form for video interpretation.
Joseph SelmanMohamed R. AmerAlan FernSinisa TodorovicPublished in: ICCV Workshops (2011)
Keyphrases
- conjunctive normal form
- truth values
- satisfiability problem
- polynomial size
- boolean formula
- automated reasoning
- propositional satisfiability
- video data
- video sequences
- propositional knowledge base
- cnf formula
- disjunctive normal form
- modal logic
- inference rules
- propositional formulas
- multi valued
- sat instances
- probabilistic reasoning
- np complete
- knowledge representation
- search algorithm
- horn clauses
- theorem proving
- motion vectors
- unit propagation