Detail

Publication date: 1 de June, 2021

Paraconsistent Dynamic Logic Programming

Recent developments in updates of logic programs make it possible to deal in a clear and precise manner with changes in the state of the world. The project studies these developments on the basis of the related theories developed for (paraconsistent) Logic and to examine how those theories might be implemented via logic programming.

Team

José Júlio Alferes, Luís Moniz Pereira,

Results No publications yet, just mutual visits.
State Concluded
Startdate 01/01/1998
Enddate 01/01/1998