Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
Fangfang LiuJia-Huai YouPublished in: CoRR (2021)
Keyphrases
- fixpoint
- logic programs
- knowledge base
- deductive databases
- semantics for logic programs
- logic programming
- update rule
- finite state machines
- stable models
- answer sets
- horn clauses
- nonmonotonic reasoning
- model theoretic
- proof theoretic
- fixpoint semantics
- datalog programs
- background knowledge
- answer set programming
- description logics
- minimal models
- databases
- sql queries
- database
- expert systems