Design and implementation of a parallel logic programming language and development environment comprising explicit negation, belief revision, constraints, types, distribution, communication, and applications to model-based diagnosis.
Concluded in April 1998.
Participating entities: CENTRIA - UNL, LIACC/Univ. Porto, Servisoft II, University of Hannover.
Funding entity: PRAXIS.
Principal researcher: Luís Moniz Pereira.
Researcher: José Alferes.
The project completed most satisfactorily. Publications: Books, edited books, journal special issues: 8; Papers in internacional journals: 8; Papers in international conferences: 67; PhD theses: 7; MSc theses: 12; Book chapters and edited proceedings: 5.
