Knowledge Compilation for Nondeterministic Action Languages.
Sergej ScheckAlexandre NiveauBruno ZanuttiniPublished in: ICAPS (2021)
Keyphrases
- knowledge compilation
- target language
- product configuration
- prime implicates
- logical inference
- initial state
- quantified boolean formulae
- machine translation
- model counting
- horn formulas
- decision support
- databases
- normal form
- decomposable negation normal form
- relational databases
- process planning
- belief revision
- constraint satisfaction
- logic programs