Presentation
Hypergraph logic program representation versus stratified programs
Author/s | David Lobo
Jesús Medina José R. Portillo José A. Torné-Zambrano |
Editor | Medina, Jesús |
Department | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) |
Publication Date | 2024-05 |
Deposit Date | 2024-07-03 |
Published in |
|
Abstract | 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. |
Funding agencies | Ministerio de Ciencia e Innovación |
Project ID. | PID2021-122991NB-C21
TED2021-129748B-I00 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
ESCIM2024_R1_lmpz.pdf | 406.9Kb | [PDF] | View/ | |
This item appears in the following collection(s)
This document is protected by intellectual and industrial property rights. Without prejudice to existing legal exemptions, its reproduction, distribution, public communication or transformation is prohibited without the authorization of the rights holder, unless otherwise indicated.