An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.
Marco AlbertiRiccardo ZeseFabrizio RiguzziEvelina LammaPublished in: ICLP Technical Communications / Doctoral Consortium (2022)
Keyphrases
- function symbols
- logic programs
- fixpoint semantics
- logic programming
- fixpoint
- knowledge base
- horn clauses
- deductive databases
- answer set programming
- stable models
- answer sets
- model theoretic
- nonmonotonic reasoning
- background knowledge
- inductive logic programming
- default logic
- reasoning tasks
- description logics
- first order logic
- artificial intelligence
- databases