Towards the Use of Hypergraphs in Multi-adjoint Logic Programming

DOI10.1007/978-3-030-00485-9_6zbMath1430.68024OpenAlexW2897146677MaRDI QIDQ5215753

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

Publication date: 13 February 2020

Published in: Trends in Mathematics and Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-00485-9_6

Mathematics Subject Classification ID

Hypergraphs (05C65) Logic programming (68N17)

Related Items

Fuzzy logic programs as hypergraphs. Termination results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Directed hypergraphs: introduction and fundamental algorithms -- a survey
• Gainfree Leontief substitution flow problems
• Directed hypergraphs and applications
• Termination of logic programs with imperfect information: applications and query procedure
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Algorithms for testing the satisfiability of propositional formulae
• Logics in Artificial Intelligence
• Fuzzy logic programming