Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: General logical databases and programs: Default logic semantics and stratification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable and extension class theory for logic programs and default logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3983043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the relation between default and autoepistemic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992908 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3826524 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonmonotonic Logic II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantical considerations on nonmonotonic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3972030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for default reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Power domains / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf00881799 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1998093438 / rank
 
Normal rank

Latest revision as of 10:20, 30 July 2024

scientific article
Language Label Description Also known as
English
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
scientific article

    Statements

    Dualities between alternative semantics for logic programming and nonmonotonic reasoning (English)
    0 references
    0 references
    0 references
    13 March 1994
    0 references
    semantics for logic programming with nonmonotonic modes of negation
    0 references
    well-founded semantics
    0 references
    stable class semantics
    0 references
    Smyth's power-domain ordering
    0 references
    Hoare's power domain ordering
    0 references
    default theories
    0 references

    Identifiers