Monotone Literals and Learning in QBF Reasoning.
Enrico GiunchigliaMassimo NarizzanoArmando TacchellaPublished in: CP (2004)
Keyphrases
- learning algorithm
- online learning
- supervised learning
- reinforcement learning
- learning process
- learning tasks
- neural network
- prior knowledge
- constraint satisfaction
- inductive inference
- inductive logic programming
- learning systems
- constraint satisfaction problems
- learning activities
- semi supervised
- upper bound
- bayesian networks
- machine learning