Hypergraph logic program representation versus stratified programs

  1. Lobo, David 1
  2. Medina, Jesús 1
  3. Portillo Fernández, José Ramón 1
  4. Torné-Zambrano, José A. 1
  1. 1 Universidad de Sevilla. Departamento de Matemática Aplicada I
Proceedings:
ESCIM 2024: 15th European Symposium on Computational Intelligence and Mathematics (2024)

Year of publication: 2024

Pages: 48-49

Type: Conference paper

GOOGLE SCHOLAR lock_openIdus editor

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 study of different properties of a logic program, whereas the use of a stratification has provided interesting resultsrelated 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.