Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
Spencer KillenJia-Huai YouPublished in: KR (2021)
Keyphrases
- answer sets
- logic programming
- knowledge base
- logic programs
- semantics for logic programs
- fixpoint
- datalog programs
- description logics
- database
- artificial intelligence
- open world
- reasoning process
- answer set programming
- knowledge based systems
- answer set semantics
- expert systems
- semantic network
- stable models
- relational databases