Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

PADYLP - Paraconsistent Dynamic Logic Programming

Project information

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.

Started in January 1998 and was concluded in 1998.


Participating entities: CENTRIA - UNL, INRIA - Rennes (France).


Funding entities: Scientific and Technical Inst. for the International Cooperation (ICCTI - MCT), INRIA (France).


Principal researcher: Luís Moniz Pereira.

Researcher: José Alferes.


No publications yet, just mutual visits.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541