Safe inductions and their applications in knowledge representation (Q1647517)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safe inductions and their applications in knowledge representation |
scientific article |
Statements
Safe inductions and their applications in knowledge representation (English)
0 references
26 June 2018
0 references
approximation fixpoint theory
0 references
lattice operator
0 references
inductive definitions
0 references
induction process
0 references
construction
0 references
well-founded semantics
0 references
groundedness
0 references
logic programming
0 references
autoepistemic logic
0 references
abstract argumentation
0 references
