@misc{10498/35919,
year = {2024},
url = {http://hdl.handle.net/10498/35919},
abstract = {Extended multi-adjoint logic programming is a non-monotonic logic programming framework whose semantics is defined in terms of stable models. This paper will focus on the theoretical development of a syntactical sufficient condition for the existence and uniqueness of stable models in extended multi-adjoint logic programming, through the notion of stratification. Namely, we will detail a constructive method for the computation of the unique stable model of a given stratified extended multi-adjoint logic program. As a consequence, this study will be an interesting alternative to the semantical sufficient conditions for the existence and the uniqueness of stable models, given in the literature for multi-adjoint normal logic and extended multi-adjoint logic programs.},
publisher = {Elsevier B.V.},
keywords = {Extended multi-adjoint logic program},
keywords = {Negation operator},
keywords = {Stable model},
keywords = {Stratified program},
title = {Stratified extended multi-adjoint logic programming},
doi = {10.1016/j.fss.2024.109064},
author = {Cornejo Piñero, María Eugenia and Lobo Palacios, David and Medina Moreno, Jesús},
}