Hypergraphs in logic programming
type: Item
instance of: scholarly article
title: Hypergraphs in logic programming
zbMATH Open document ID: 1545.68126
DOI: 10.1007/978-3-031-45608-4_33
author: Juan Carlos Díaz-Moreno
author: Jesús Medina
author: J. R. Portillo
publication date: 2024-08-15T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 05C65
zbMATH DE Number: 7897243
zbMATH Keywords: logic programming
zbMATH Keywords: hypergraphs
zbMATH Keywords: negation operator
MaRDI profile type: Publication
cites work: Characterizing Fuzzy y-Models in Multi-adjoint Normal Logic Programming
cites work: Syntax and semantics of multi-adjoint normal logic programming
cites work: Extended multi-adjoint logic programming
cites work: Termination of logic programs with imperfect information: applications and query procedure
cites work: Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
cites work: Fuzzy logic programs as hypergraphs. Termination results
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Directed hypergraphs and applications
cites work: On the existence and unicity of stable models in normal residuated logic programs
cites work: Q4798020
cites work: Immediate consequences operator on generalized quantifiers
cites work: Proof-theoretic foundations of normal logic programs
cites work: Witnesses for Answer Sets of Logic Programs
description: scientific article; zbMATH DE number 7897243