Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
Spencer KillenJia-Huai YouPublished in: CoRR (2021)
Keyphrases
- answer sets
- logic programming
- knowledge base
- logic programs
- semantics for logic programs
- fixpoint
- datalog programs
- answer set programming
- knowledge representation
- description logics
- definite clause
- answer set semantics
- semantic network
- background knowledge
- knowledge acquisition
- inductive logic programming
- default logic
- knowledge sources
- possibilistic logic
- knowledge based systems
- normal logic programs
- data model