Syntax and semantics of multi-adjoint normal logic programming
From MaRDI portal
Publication:1795198
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
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