An encompassing framework for paraconsistent logic programs (Q1775864): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2004.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2048639548
@@ Property / OpenAlex ID: W2048639548 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58831022
@@ Property / Wikidata QID: Q58831022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784882
@@ Property / cites work: Q4784882 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming system for nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent declarative semantics for extended logic programs
+Normal rank
@@ Property / cites work @@
+Hybrid probabilistic programs
@@ Property / cites work: Hybrid probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792274
@@ Property / cites work: Q3792274 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+An encompassing framework for paraconsistent logic programs
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+The family of stable models
@@ Property / cites work: The family of stable models / rank @@
+Normal rank
@@ Property / cites work @@
+`Classical' negation in nonmonotonic reasoning and logic programming
+Normal rank
@@ Property / cites work @@
+A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Q3983044
@@ Property / cites work: Q3983044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713273
@@ Property / cites work: Q4713273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236380
@@ Property / cites work: Q4236380 / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q4244297
@@ Property / cites work: Q4244297 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q3484349
@@ Property / cites work: Q3484349 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logic programming
@@ Property / cites work: Reasoning with logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426949
@@ Property / cites work: Q4426949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484246
@@ Property / cites work: Q4484246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708930
@@ Property / cites work: Q4708930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715522
@@ Property / cites work: Q2715522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1775864