Fuzzy logic programs as hypergraphs. Termination results

DOI10.1016/J.FSS.2022.02.001MaRDI QIDQ6079415zbMATH OpenOpenAlexFDO

Authors Juan Carlos Díaz-Moreno, Jesús Medina, J. R. Portillo

Publication date 30 October 2023

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

fuzzy setshypergraphslogic programmingtermination

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Fuzzy hypergraphs and related extensions
• Fuzzy logic programming via multilattices
• Fuzzy graphs and fuzzy hypergraphs
• Intuitionistic fuzzy hypergraphs with applications
• scientific article; zbMATH DE number 2177629
• An application of fuzzy hypergraphs and hypergraphs in granular computing
• scientific article; zbMATH DE number 1841971
• Fuzzy description logic programs

Cites work

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

Cited in

(2)

• Hypergraphs in logic programming
• Aggregation of fuzzy graphs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6079415)