RT journal article
T1 Stratified extended multi-adjoint logic programming
A1 Cornejo Piñero, María Eugenia
A1 Lobo Palacios, David
A1 Medina Moreno, Jesús
A2 Matemáticas
K1 Extended multi-adjoint logic program
K1 Negation operator
K1 Stable model
K1 Stratified program
AB 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.
PB Elsevier B.V.
SN 0165-0114
YR 2024
FD 2024
LK http://hdl.handle.net/10498/35919
UL http://hdl.handle.net/10498/35919
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 10-may-2026