Paraconsistent logic programming (Q1262746): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3960112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3477931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3861360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3206928 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4207887 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theory of inconsistent formal systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A semantical analysis of the calculi \(C_n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3956917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A kripke-kleene semantics for logic programs* / rank
 
Normal rank
Property / cites work
 
Property / cites work: Closures and fairness in the semantics of programming logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3339245 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727351 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3747756 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3817650 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative deduction and its fixpoint theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Semantics of Predicate Logic as a Programming Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Four valued semantics and the Liar / rank
 
Normal rank

Latest revision as of 10:40, 20 June 2024

scientific article
Language Label Description Also known as
English
Paraconsistent logic programming
scientific article

    Statements

    Paraconsistent logic programming (English)
    0 references
    0 references
    0 references
    1989
    0 references
    See the review in Zbl 0631.68009.
    0 references
    semantics
    0 references
    clauses
    0 references
    inconsistency
    0 references
    two-valued logic
    0 references
    very large knowledge bases
    0 references

    Identifiers

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