Arrazola Ramírez, José EnriqueGarcés Báez, José Alfonso del Carmen2020-06-042020-06-042003-03https://hdl.handle.net/20.500.12371/6471"Este trabajo es una continuación del trabajo iniciado por D. Pearce. Hay una pregunta que no hemos contestado todavía, en el corolario 3 dijimos de alguna manera que la clase de modelos estable no es más expresiva que la clase de modelos stables mínimos. ¿Es la clase de modelos stable y mínimos más expresiva que la clase de modelos stable? Si la respuesta fuera no, lo cual corresponde a nuestra conjetura, entonces ambas semánticas podrán ser equivalentes desde el punto de vista del poder de problemas representados. Entonces tendríamos la posibilidad de hacer un intercambio entre esos dos paradigmas. Si la respuesta fuera si entonces los modelos que son mínimos y stables podrán ser más poderosos que los modelos solo stable. Esto podrá abrir una nueva línea de investigación sobre la clase de problemas que pueden ser expresados por modelos stable y mínimos, no por modelos solo stable".pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAProgramación lógicaNegación (Lógica)Proposición (Lógica)Relación de equivalencia (Teoría de conjuntos)Tesis de maestríaMatemáticas computacionalesBases de datos deductivasopenAccess