Ponencia
Hypergraph logic program representation versus stratified programs
Autor/es | David Lobo
Jesús Medina José R. Portillo José A. Torné-Zambrano |
Coordinador/Director | Medina, Jesús |
Departamento | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) |
Fecha de publicación | 2024-05 |
Fecha de depósito | 2024-07-03 |
Publicado en |
|
Resumen | Multi-adjoint normal logic programming is a general non-monotonic logic programming framework, which makes it ideal for modeling complex scenarios. Hypergraph representation has been proved to be an appropriate tool in the ... Multi-adjoint normal logic programming is a general non-monotonic logic programming framework, which makes it ideal for modeling complex scenarios. Hypergraph representation has been proved to be an appropriate tool in the study of different properties of a logic program, whereas the use of a stratification has provided interesting results related to the existence and unicity of stable models. In this paper, we will see the relation between the p-condensation graph of a program and its “optimal” stratification. |
Agencias financiadoras | Ministerio de Ciencia e Innovación |
Identificador del proyecto | PID2021-122991NB-C21
![]() TED2021-129748B-I00 ![]() |
Cita | David Lobo, , Jesús Medina, , José R. Portillo, y José A. Torné-Zambrano, (2024). Hypergraph logic program representation versus stratified programs. En ESCIM 2024: 15th European Symposium on Computational Intelligence and Mathematics, Cracovia, Polonia. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
ESCIM2024_R1_lmpz.pdf | 406.9Kb | ![]() | Ver/ | |
Este registro aparece en las siguientes colecciones
Este documento está protegido por los derechos de propiedad intelectual e industrial. Sin perjuicio de las exenciones legales existentes, queda prohibida su reproducción, distribución, comunicación pública o transformación sin la autorización del titular de los derechos, a menos que se indique lo contrario.