Medina, Jesús2024-07-032024-07-032024-05David 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.https://hdl.handle.net/11441/161042Multi-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.application/pdf2engLogic Programming · Hypergraphs · Negation operator.info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess