Fuzzy logic programs as hypergraphs. Termination results
From MaRDI portal
Publication:6079415
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
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