Syntax and semantics of multi-adjoint normal logic programming

DOI10.1016/j.fss.2017.12.009zbMath1397.68026OpenAlexW2779928863MaRDI QIDQ1795198

Jesús Medina, David Lobo, Maria Eugenia Cornejo

Publication date: 16 October 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2017.12.009

zbMATH Keywords

stable modelsnegation operatormulti-adjoint logic programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (7)

Fuzzy logic programs as hypergraphs. Termination results ⋮ Algebraic structure and characterization of adjoint triples ⋮ Extended multi-adjoint logic programming ⋮ Rough sets based on Galois connections ⋮ Unnamed Item ⋮ Implication operators generating pairs of weak negations and their algebraic structure ⋮ Multi-adjoint lattices from adjoint triples with involutive negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A comparative study of adjoint triples
• Multi-adjoint algebras versus non-commutative residuated structures
• An encompassing framework for paraconsistent logic programs
• A comparison of fuzzy and annotated logic programming
• A neural implementation of multi-adjoint logic programming
• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
• Termination of logic programs with imperfect information: applications and query procedure
• On fuzzy unfolding: A multi-adjoint approach
• An introduction to fuzzy answer set programming
• A lattice-theoretical fixpoint theorem and its applications
• Semantics for Possibilistic Disjunctive Programs
• On the existence and unicity of stable models in normal residuated logic programs
• Adjoint Pairs on Interval-Valued Fuzzy Sets
• A fixpoint semantics for disjunctive logic programs
• Probabilistic reasoning with answer sets
• On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
• On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
• On Fuzzy Logic I Many‐valued rules of inference
• The family of stable models
• Characterizing and extending answer set semantics using possibility theory
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Epistemic foundation of stable model semantics
• Fuzzy logic programming

This page was built for publication: Syntax and semantics of multi-adjoint normal logic programming