Syntax and semantics of multi-adjoint normal logic programming (Q1795198): Difference between revisions

@@ Property / DOI @@
-.1016/j.fss.2017.12.009
@@ Property / DOI: 10.1016/j.fss.2017.12.009 / rank @@
-Normal rank
@@ Property / author @@
-Maria Eugenia Cornejo
@@ Property / author: Maria Eugenia Cornejo / rank @@
-Normal rank
@@ Property / author @@
+Maria Eugenia Cornejo
@@ Property / author: Maria Eugenia Cornejo / rank @@
+Normal rank
@@ 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.fss.2017.12.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2779928863
@@ Property / OpenAlex ID: W2779928863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708930
@@ Property / cites work: Q4708930 / rank @@
+Normal rank
@@ Property / cites work @@
+An encompassing framework for paraconsistent logic programs
+Normal rank
@@ Property / cites work @@
+Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing and extending answer set semantics using possibility theory
+Normal rank
@@ Property / cites work @@
+A comparative study of adjoint triples
@@ Property / cites work: A comparative study of adjoint triples / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-adjoint algebras versus non-commutative residuated structures
+Normal rank
@@ Property / cites work @@
+Termination of logic programs with imperfect information: applications and query procedure
+Normal rank
@@ Property / cites work @@
+Q4536316
@@ Property / cites work: Q4536316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784882
@@ Property / cites work: Q4784882 / 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 @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy unfolding: A multi-adjoint approach
@@ Property / cites work: On fuzzy unfolding: A multi-adjoint approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983044
@@ Property / cites work: Q3983044 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of fuzzy and annotated logic programming
+Normal rank
@@ Property / cites work @@
+Q3963731
@@ Property / cites work: Q3963731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic foundation of stable model semantics
@@ Property / cites work: Epistemic foundation of stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
+Normal rank
@@ Property / cites work @@
+On the existence and unicity of stable models in normal residuated logic programs
+Normal rank
@@ Property / cites work @@
+Adjoint Pairs on Interval-Valued Fuzzy Sets
@@ Property / cites work: Adjoint Pairs on Interval-Valued Fuzzy Sets / rank @@
+Normal rank
@@ Property / cites work @@
+A neural implementation of multi-adjoint logic programming
+Normal rank
@@ Property / cites work @@
+Q4736518
@@ Property / cites work: Q4736518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+An introduction to fuzzy answer set programming
@@ Property / cites work: An introduction to fuzzy answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Possibilistic Disjunctive Programs
@@ Property / cites work: Semantics for Possibilistic Disjunctive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4848738
@@ Property / cites work: Q4848738 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.FSS.2017.12.009
@@ Property / DOI: 10.1016/J.FSS.2017.12.009 / rank @@
+Normal rank