TY  - THES 
A3  - Cornejo Piñero, María Eugenia
A3  - Medina Moreno, Jesús
AU  - Lobo Palacios, David
A4  - Matemáticas
PY  - 2020
UR  - http://hdl.handle.net/10498/24426
AB  - Esta tesis presenta un novedoso entorno de programación lógica no monótona, adaptando la filosofía del paradigma multiadjunto a la programación lógica normal y definiendo una semántica adecuada basada en modelos estables. Adicionalmente, el autor...
AB  - A novel non-monotonic logic programming framework has been presented, adapting the philosophy of the multi-adjoint paradigm to normal logic programs and defining a proper stable model semantics. Additionally, sufficient conditions for the existence...
LA  - spa
KW  - Programación lógica multiadjunta no monótona
KW  - Ecuaciones bipolares de relaciones difusas
KW  - Razonamiento abductivo con negación
KW  - Lógica multivaluada
TI  - Programación lógica multiadjunta no monótona y ecuaciones bipolares de relaciones difusas: extensiones y relaciones
T2  - Non-monotonic multi-adjoint logic programming and bipolar fuzzy relation equations: extensions and relations
M3  - doctoral thesis
ER  -