Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

LPMBD - Logic Programming and Model Based Diagnosis

Project information
Description

Use of logic programming for model based diagnosis, and its application to digital circuits, electric power lines, and cellular phones.

Started in January 1997 and was concluded in 1998.

Project

Participating entities: CENTRIA - UNL, University of Hannover.

Funding

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

CENTRIA

Principal researcher: Luís Moniz Pereira.

Results

1 PhD thesis. 1 book. 6 conference papers.
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

Fundacao_FCT