Syntax and semantics of multi-adjoint normal logic programming
type: Item
instance of: scholarly article
title: Syntax and semantics of multi-adjoint normal logic programming
zbMATH Open document ID: 1397.68026
author: David Lobo
author: Jesús Medina
author: Maria Eugenia Cornejo
published in: Fuzzy Sets and Systems
publication date: 2018-10-16T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6955484
zbMATH Keywords: multi-adjoint logic programs
zbMATH Keywords: negation operator
zbMATH Keywords: stable models
MaRDI profile type: Publication
full work available at URL: j.fss.2017.12.009
OpenAlex ID: W2779928863
cites work: Q4708930
cites work: An encompassing framework for paraconsistent logic programs
cites work: Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
cites work: Probabilistic reasoning with answer sets
cites work: Characterizing and extending answer set semantics using possibility theory
cites work: A comparative study of adjoint triples
cites work: Multi-adjoint algebras versus non-commutative residuated structures
cites work: Termination of logic programs with imperfect information: applications and query procedure
cites work: Q4536316
cites work: Q4784882
cites work: The family of stable models
cites work: Q3983043
cites work: On fuzzy unfolding: A multi-adjoint approach
cites work: Q3983044
cites work: A comparison of fuzzy and annotated logic programming
cites work: Q3963731
cites work: Q3992908
cites work: Epistemic foundation of stable model semantics
cites work: On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
cites work: On the existence and unicity of stable models in normal residuated logic programs
cites work: Adjoint Pairs on Interval-Valued Fuzzy Sets
cites work: A neural implementation of multi-adjoint logic programming
cites work: Q4736518
cites work: Q4798020
cites work: A fixpoint semantics for disjunctive logic programs
cites work: An introduction to fuzzy answer set programming
cites work: Semantics for possibilistic disjunctive programs
cites work: On Fuzzy Logic I Many‐valued rules of inference
cites work: Q3486858
cites work: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
cites work: On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q4848738
cites work: Fuzzy logic programming
DOI: 10.1016/J.FSS.2017.12.009
description: scientific article; zbMATH DE number 6955484