TY  - GEN 
AU  - Cornejo Piñero, María Eugenia
AU  - Lobo Palacios, David
AU  - Medina Moreno, Jesús
A4  - Matemáticas
PY  - 2024
SN  - 0165-0114
UR  - http://hdl.handle.net/10498/35919
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...
LA  - eng
PB  - Elsevier B.V.
KW  - Extended multi-adjoint logic program
KW  - Negation operator
KW  - Stable model
KW  - Stratified program
TI  - Stratified extended multi-adjoint logic programming
DO  - 10.1016/j.fss.2024.109064
ER  -