Capítulo de Libro
Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
Autor/es | Díaz Moreno, Juan Carlos
Medina, Jesús Portillo Fernández, José Ramón |
Coordinador/Director | Cornejo, María Eugenia
Kóczy, László T. Medina, Jesús Barros Ruano, Antonio Eduardo de |
Departamento | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) |
Fecha de publicación | 2019 |
Fecha de depósito | 2022-07-28 |
Publicado en |
|
ISBN/ISSN | 978-3-030-00484-2 |
Resumen | The representation of a logic program by a graph is a useful procedure in
order to obtain interesting properties of the program and in the computation of the
least model, when it exists. In this paper, we consider ... The representation of a logic program by a graph is a useful procedure in order to obtain interesting properties of the program and in the computation of the least model, when it exists. In this paper, we consider hypergraphs for representing multi-adjoint logic programs and, based on this representation, the hypotheses of an interesting termination result have been weakened. |
Cita | Díaz Moreno, J.C., Medina, J., y Portillo Fernández, J.R. (2019). Towards the Use of Hypergraphs in Multi-adjoint Logic Programming. En M.E. Cornejo, .T. Kóczy, J. Medina, A.E.d. Barros Ruano (Ed.), Trends in Mathematics and Computational Intelligence (pp. 53-59). Cham, Switzerland: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Díaz-Moreno2019_Chapter_Toward ... | 163.5Kb | [PDF] | Ver/ | |