Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882)
From MaRDI portal
scientific article; zbMATH DE number 7776343
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT |
scientific article; zbMATH DE number 7776343 |
Statements
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (English)
0 references
12 December 2023
0 references
approximation fixpoint theory
0 references
hybrid MKNF knowledge bases
0 references
logic programs
0 references
answer-set semantics
0 references
description logics
0 references
inconsistencies
0 references
0 references
