projects
Detail
Publication date: 1 de June, 2021Paraconsistent 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.
Results | No publications yet, just mutual visits. |
---|---|
State | Concluded |
Startdate | 01/01/1998 |
Enddate | 01/01/1998 |