Combining expert-based beliefs and answer sets.
Serge Sonfack SounchioLaurent GenesteBernard Kamsu-FoguemPublished in: Appl. Intell. (2023)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- normal logic programs
- answer set semantics
- answer set programs
- extended logic programs
- fixpoint
- counter examples
- loop formulas
- natural language
- stable models
- deductive databases
- domain experts
- knowledge representation
- high level
- semantics of logic programs