Hypergraph logic program representation versus stratified programs

DOI10.1007/978-3-031-97879-1_17MaRDI QIDQ7296097zbMATH OpenFDO

Authors David Lobo, Jesús Medina Moreno, J. R. Portillo, José Antonio Torné-Zambrano

Publication date 14 July 2026

Full work available at URL https://doi.org/10.1007/978-3-031-97879-1_17

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27)

Cites work

• Directed hypergraphs and applications
• Extended multi-adjoint logic programming
• Fuzzy logic programs as hypergraphs. Termination results
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• scientific article; zbMATH DE number 3226832 (Why is no real title available?)
• Hypergraphs in logic programming
• Impact Zadeh's theory to algebraic structures. Multi-adjoint algebras
• Modular answer set programming as a formal specification language
• Multi-adjoint algebras versus non-commutative residuated structures
• Negation as failure using tight derivations for general logic programs
• On the existence and unicity of stable models in normal residuated logic programs
• Syntax and semantics of multi-adjoint normal logic programming
• The family of stable models
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming

This page was built for publication: Hypergraph logic program representation versus stratified programs

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