Safe inductions and their applications in knowledge representation (Q1647517)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Safe inductions and their applications in knowledge representation |
scientific article; zbMATH DE number 6894617
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safe inductions and their applications in knowledge representation |
scientific article; zbMATH DE number 6894617 |
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
0 references
0 references
