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

REAP - Reasoning in Logic Programming

Project information
Description

Use of Logic Programming theory and implementational technology for reasoning
tasks.

Started in October 1996 and was concluded in 2000.

Project

Participating entities: CENTRIA - UNL, Stony Brook University.

Funding

Funding entities: Fundação Luso-Americana (FLAD), National Science Foundation (USA).

CENTRIA

Principal researcher: Luís Moniz Pereira.

Results

2 publications, and 1 visit in 2000.
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