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