SOL         DILLEMA    ESTEEM        LEMMA     ALPES

REWERSE: Reasoning on the Web
Funding: EU FP6 - Network of Excellence
Reference: 506779
Duration: 2004-2008.
Partners: TU Munich, Univ. Nova Lisboa and 25 other partners form 14 Eupropean countries - cf.
Role: Responsible for UNL in Bioinformatics Work Package (A2)
The objective of REWERSE is to establish Europe as a leader in reasoning languages for the Web by networking and structuring a scientific community that needs it, and by providing tangible technological bases that do not exist today for an industrial software development of advanced Web systems and applications. Research is organised in five research task for the definition and development of techniques for reasoning on the Semantic Web (I1: Rule Markup Languages, I2: Policy Specification, Composition, and Conformance, I3: Composition and Typing, I4: Reasoning- Aware Querying and I5: Evolution and Reactivity) and 3 of these technical tasks for applying these techniques specialised fields (A1: Web-based Decision Support for Event, Temporal, and Geographical Data, A2: Towards a Bioinformatics Semantic Web, and A3: Personalised Information Systems).
more info at webpage.

CLCS: Computational Logic as a Foundation for Computer Science and Intelligent Systems.
Funding: EU - Human Resources Development ("Asia-Link HRD")
Reference: VN 001
Duration: 2004-2007.
Partners: Technical University Dresden, Universidade Nova Lisboa, HUT (Technical University Hanoi, Vietname) and University of Indonesia (UI - Jacarta, Indonesia).
Role: Lecturer
The overall objectives is to promote the area of formal computational foundations of logic, computer science and intelligent systems, i.e., the area of Computational Logic, in South East Asia. The European partners - Technische Universität Dresden (TUD) and Universidade Nova de Lisboa (UNL) - are already engaged in an effort to turn Europe into the leading place for education and training in this area. The three-year project aims at upgrading the staff of the Asian partners - Hanoi University of Technology (HUT) and University of Indonesia at Jakarta (UI) - within a joint team schema, joint supervision of master and PhD-students within a sandwich schema, courses of European professors and lectures at the Asian universities, the organisation of International Summer Schools, the development of curricula for single modules at the Asian universities, and the incorporation of video-teaching methods in cooperation and teaching.

PRESTIGE: Guidelines in Healthcare.
Funding: EU FP3 (Health Telematics Programme)
Reference: HC 1040
Duration: 1995 - 99
Partners: CENTIS, Hospital Egas Moniz, Lisboa (P), Danish Hospital Institute Medical, Copenhagen (DK), DIABCARE Office, Munich (D), IIRIAM, Marseille (F), Information Management Centre of the NHS, Newcastle (UK), Catholic University of Nijmegen (NL), LHV, Utrecht (NL), Royal Brompton Hospital, London (UK), University of Manchester (UK), and other 21 associated partners incluindo UNINOVA.
Role: Responsible for CRIA/UNINOVA associated partner
Development and integration of technology to support medical practice based on clinical protocols, in particular the adoption of various clinical terminologies, modelling hospital systems based on clinical measures, resource management and specification of clinical protocols, focussing on Cardiology, Neurology, General Practice and Diabetes.

ISAR: Integration System Architecture
Funding: EU Telematics of General Interest (AIM)
Reference: A-2052
Duration: 1993 - 95
Partners: Hospital Univ. de Lille (F), France Telecom, Paris (F), Digital Equipment, Paris (F), Premium, Grez-Doiceau (B), e parceiros dos projectos citados, incluindo UNINOVA, Monte da Caparica (P)
Role: Responsible for CRIA/UNINOVA partner.
Integration on a common platform of methodologies and prototypes developed in several AIM projects, including ESTEEM, KAVAS-2, Menelas, Oedipe, OPADE and TANIT.

EPISTOL: Perspective of Knowledge Based Systems in the Health Sector
Funding: EU Telematics of General Interest (AIM)
Reference: AIM76251
Duration: 1993 - 94
Role: Coordinator of the Study
Strategic study on the possibilities of use and as well as the research and development still needed for knowledge based decision support systems for the health sector, so as to justify the funding of Research and Development activities in this area by the European Union.

SOL: Solving Constraints over Naturals, Integers and Finite Domains
Funding: EU - Human Capital and Mobility Programme
Reference: ERBCHRXCT 920053
Duration: 1993 - 1996
Partners: INRIA Lorraine, Nancy (F), FCT/Universidade Nova de Lisboa, Monte da Caparica (P), ECRC, Munich (D), Universidade do Porto (P), Université Paris-Sud XI, Orsay (F)
Role: Responsible for FCT/UNL partner.
The study of constraint solving techniques in the areas of natural, integer and finite domains, its integration with Logic Programming and support for the development of applications.

DILEMMA: Logic Engineering in General Practice Oncology and Shared Care
Funding: EU Telematics of General Interest (AIM)
Reference: A-2005
Duration: 1992-1995
Partners: ICRF, Imperial Cancer Research Fund, Londres (UK), Fondation Bérgonié, Bordéus (F), UNINOVA, Monte da Caparica (P), Hewlett-Packard, Londres (UK), Information Management Centre of the NHS, Birmingham (UK), German Cancer Research Centre, Heidelberg (D), The MDA Group, Linköping (S), Catholic University of Nijmegen (NL).
Role: Responsible for CRIA/UNINOVA partner
Application of Logic Programming Engineering for the representation of medical knowledge and its applications, with emphasis on the representation of Clinical Protocols applied in the specialties of oncology, cardiology and general practitioning.

ESTEEM: European Standardised Telematic Tool to evaluate EMG KBS Methods
Funding: EU Telematics of General Interest (AIM)
Reference: A-2010
Duration: 1992-94
Partners: Hospital Egas Moniz, Lisboa (P), Dantec Medical A/S, Copenhagen (DK), Gentofte Hospital, University of Copenhagen (DK), UNINOVA, Monte da Caparica (P),Newcastle University Hospital Newcastle (UK), Rigshospitalet, University of Copenhagen (DK), SIPRA, Ghent (B), Universitá de Bologna (I), Université Joseph Fourier, Grenoble (F), University Clinic, Mainz (D)
Role: Responsible for CRIA/UNINOVA partner
Development of a telematics platform for the dissemination and evaluation of clinical practice and expert systems to support diagnosis in Electromyography

LEMMA: Methods and Architectures for Logic Engineering in Medicine
Funding: EU (Programme AIM - Pilot Phase)
Reference: A-1042
Duration: 1990-1991
Partners: Imperial Cancer Research Fund (ICRF) Londres; Fondation Bérgonié (FB), Bordéus e CRIA - UNINOVA (Centro de Inteligência Artificial)
Role: CRIA partner responsible
Application of Programming Engineering in Logic for the representation of medical knowledge and the development of medical applications, particularly in the areas of Oncology and Primary Health Care

ALPES: Advanced Logic Programming Environments
Funding: EU (Programme ESPRIT)
Reference: ESPRIT P-973
Duration: 1986-1990
Partners: CRIL, Paris (F), DEIS, University of Bologna (I), ENIDATA, Bologna (I), LRI, University of Paris-Sud (F), LSI, University of Toulouse (F), TUM, Technical University of Munich, (D), UNL, Universidade Nova de Lisboa (P)
Role: UNL Project Manager (from 1988)
Development of Advanced Environments for Logic Programming, including components that enabling modular writing programs, intelligent debugging, parallel processing, etc., as well as their integration.