Hypergraphs in logic programming

DOI10.1007/978-3-031-45608-4_33MaRDI QIDQ6587942zbMATH OpenFDO

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

Publication date 15 August 2024

Full work available at URL https://doi.org/10.1007/978-3-031-45608-4_33

zbMATH Keywords

hypergraphslogic programmingnegation operator

Mathematics Subject Classification ID

Hypergraphs (05C65) Logic programming (68N17) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 67516
• Knowledge of uncertain worlds: programming with logical constraints
• Knowledge of uncertain worlds: programming with logical constraints
• scientific article; zbMATH DE number 4162310
• Declarative Logic Programming: Theory, Systems, and Applications

Cites work

• Characterizing fuzzy y-models in multi-adjoint normal logic programming
• Directed hypergraphs and applications
• Extended multi-adjoint logic programming
• Fuzzy logic programs as hypergraphs. Termination results
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• Immediate consequences operator on generalized quantifiers
• On the existence and unicity of stable models in normal residuated logic programs
• Proof-theoretic foundations of normal logic programs
• 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
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• Witnesses for Answer Sets of Logic Programs

This page was built for publication: Hypergraphs in logic programming

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