Safe inductions and their applications in knowledge representation (Q1647517): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 04:06, 1 February 2024

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
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references