One head is better than two: a polynomial restriction for propositional definite Horn forgetting.
Paolo LiberatorePublished in: CoRR (2020)
Keyphrases
- propositional logic
- knowledge compilation
- horn clauses
- polynomial size
- answer set programs
- incremental learning
- polynomial hierarchy
- first order logic
- np hard
- real time
- horn logic
- logic programs
- belief revision
- answer set programming
- low order
- default logic
- multi valued
- visual focus of attention
- randomized approximation
- human head
- head pose estimation
- probabilistic logic
- eye gaze
- inference rules
- optimal solution