Fuzzy logic programs as hypergraphs. Termination results

DOI10.1016/j.fss.2022.02.001zbMath1522.68107OpenAlexW4212903272MaRDI QIDQ6079415

Juan Carlos Díaz-Moreno, José Ramón Portillo, Jesús Medina

Publication date: 30 October 2023

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

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

zbMATH Keywords

fuzzy setshypergraphsterminationlogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Directed hypergraphs: introduction and fundamental algorithms -- a survey
• On the complexity of strongly connected components in directed hypergraphs
• Fuzzy logic programming reduced to reasoning with attribute implications
• On finding solutions for extended Horn formulas
• A comparative study of adjoint triples
• On reductants in the framework of multi-adjoint logic programming
• Linear connectivity problems in directed hypergraphs
• On renamable Horn and generalized Horn functions
• On the orientation of graphs and hypergraphs
• A directed hypergraph model for random time dependent shortest paths
• Syntax and semantics of multi-adjoint normal logic programming
• Gainfree Leontief substitution flow problems
• Directed hypergraphs and applications
• Similarity-based unification: A multi-adjoint approach
• A new algorithm for the propositional satisfiability problem
• Extended multi-adjoint logic programming
• Termination of logic programs with imperfect information: applications and query procedure
• On fuzzy unfolding: A multi-adjoint approach
• Thresholded semantic framework for a fully integrated fuzzy logic language
• A lattice-theoretical fixpoint theorem and its applications
• On the existence and unicity of stable models in normal residuated logic programs
• Using Edge-Induced and Vertex-Induced Subhypergraph Polynomials
• A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Algorithms for testing the satisfiability of propositional formulae
• On-line algorithms for polynomially solvable satisfiability problems
• The Semantics of Predicate Logic as a Programming Language
• Applying Constraint Logic Programming to SQL Semantic Analysis
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• Logics in Artificial Intelligence

This page was built for publication: Fuzzy logic programs as hypergraphs. Termination results