Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4655
62 Team MembersFilters -> Year: 2026
4641
TÃTULO: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1991, FONTE: EPIA, VOLUME: 541 LNAI, PÁGINAS: 135-150
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1991, FONTE: EPIA, VOLUME: 541 LNAI, PÁGINAS: 135-150
4642
TÃTULO: SEMANTICS OF PROPERTY INHERITANCE IN A HIERARCHICAL SYSTEM WITH EXPLICIT NEGATION
AUTORES: DAVID, G ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PÁGINAS: 135-150
AUTORES: DAVID, G ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PÁGINAS: 135-150
4643
TÃTULO: Shell for cooperating expert systems
AUTORES: Oliveira, E ; Camacho, R ;
PUBLICAÇÃO: 1991, FONTE: Expert Systems, VOLUME: 8, NÚMERO: 2, PÁGINAS: 75-85
AUTORES: Oliveira, E ; Camacho, R ;
PUBLICAÇÃO: 1991, FONTE: Expert Systems, VOLUME: 8, NÚMERO: 2, PÁGINAS: 75-85
4644
TÃTULO: The right use of the Laplace transform in circuits
AUTORES: Francisco Correia Velez Grilo; Casimiro Antonio Manuel, ES; Joao Antonio Correia Lopes ;
PUBLICAÇÃO: 1991, FONTE: 33rd Midwest Symposium on Circuits and Systems in Midwest Symposium on Circuits and Systems, VOLUME: 2, PÁGINAS: 906-908
AUTORES: Francisco Correia Velez Grilo; Casimiro Antonio Manuel, ES; Joao Antonio Correia Lopes ;
PUBLICAÇÃO: 1991, FONTE: 33rd Midwest Symposium on Circuits and Systems in Midwest Symposium on Circuits and Systems, VOLUME: 2, PÁGINAS: 906-908
4645
TÃTULO: 3D GRAPHICS DEVELOPMENTS AND RESEARCH AT INESC NORTE
AUTORES: FERREIRA, FN; COSTA, AC; SOUSA, AA ; BRANCO, VA ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1, PÁGINAS: 47-53
AUTORES: FERREIRA, FN; COSTA, AC; SOUSA, AA ; BRANCO, VA ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1, PÁGINAS: 47-53
4646
TÃTULO: Generic Browsing: A Case for Contextual Logic Programming
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1990, FONTE: LPE, PÁGINAS: 68-73
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1990, FONTE: LPE, PÁGINAS: 68-73
4647
TÃTULO: Interactive Ray-Tracing for Image production with Increasing Realism
AUTORES: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLICAÇÃO: 1990, FONTE: Eurographics
AUTORES: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLICAÇÃO: 1990, FONTE: Eurographics
4648
TÃTULO: COOPERATION BETWEEN VISION AND PLANNING AGENTS IN A SIMPLE SIMULATED ROBOTICS ENVIRONMENT
AUTORES: RAMOS, C; OLIVEIRA, E ;
PUBLICAÇÃO: 1989, FONTE: INTERNATIONAL CONF ON INTELLIGENT AUTONOMOUS SYSTEMS in INTELLIGENT AUTONOMOUS SYSTEMS 2, VOLS 1 AND 2, PÁGINAS: 950-957
AUTORES: RAMOS, C; OLIVEIRA, E ;
PUBLICAÇÃO: 1989, FONTE: INTERNATIONAL CONF ON INTELLIGENT AUTONOMOUS SYSTEMS in INTELLIGENT AUTONOMOUS SYSTEMS 2, VOLS 1 AND 2, PÁGINAS: 950-957
4649
TÃTULO: Cooperation between Vision and Planning Agents in a Simple Simulated Robotics Environment
AUTORES: Carlos Ramos; Eugénio C Oliveira ;
PUBLICAÇÃO: 1989, FONTE: IAS, PÁGINAS: 950-957
AUTORES: Carlos Ramos; Eugénio C Oliveira ;
PUBLICAÇÃO: 1989, FONTE: IAS, PÁGINAS: 950-957
4650
TÃTULO: ARCA - Integrated system for cardiac pathologies diagnosis and therapy
AUTORES: Eugenio Oliveira ; Joao Rocha ; Abreu Lima, C; Marques de Sa, JP;
PUBLICAÇÃO: 1988, FONTE: Computers in Cardiology 1988 in Computers in Cardiology, PÁGINAS: 489-492
AUTORES: Eugenio Oliveira ; Joao Rocha ; Abreu Lima, C; Marques de Sa, JP;
PUBLICAÇÃO: 1988, FONTE: Computers in Cardiology 1988 in Computers in Cardiology, PÁGINAS: 489-492
4651
TÃTULO: Model-based expert system for diagnosis of cardiac arrhythmias
AUTORES: Eugenio Oliveira ; Joao Rocha ; Paulo Cunha;
PUBLICAÇÃO: 1987, FONTE: Computers in Cardiology Conference 1987 in Computers in Cardiology, PÁGINAS: 639-642
AUTORES: Eugenio Oliveira ; Joao Rocha ; Paulo Cunha;
PUBLICAÇÃO: 1987, FONTE: Computers in Cardiology Conference 1987 in Computers in Cardiology, PÁGINAS: 639-642
4652
TÃTULO: DEVELOPING EXPERT SYSTEMS BUILDERS IN LOGIC PROGRAMMING
AUTORES: OLIVEIRA, E ;
PUBLICAÇÃO: 1984, FONTE: NEW GENERATION COMPUTING, VOLUME: 2, NÚMERO: 2, PÁGINAS: 187-194
AUTORES: OLIVEIRA, E ;
PUBLICAÇÃO: 1984, FONTE: NEW GENERATION COMPUTING, VOLUME: 2, NÚMERO: 2, PÁGINAS: 187-194
4653
TÃTULO: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTORES: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLICAÇÃO: 1984, FONTE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium. , PÁGINAS: 309-311
AUTORES: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLICAÇÃO: 1984, FONTE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium. , PÁGINAS: 309-311
4654
TÃTULO: Developing Expert Systems Builders in Logic Programming
AUTORES: Eugénio Oliveira ;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PÁGINAS: 240-251
AUTORES: Eugénio Oliveira ;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PÁGINAS: 240-251
4655
TÃTULO: ORBI - An Expert System for Environmental Resource Evaluation through Natural Language
AUTORES: Luís Moniz Pereira ; Paul Sabatier; Eugénio Oliveira ;
PUBLICAÇÃO: 1982, FONTE: ICLP, PÁGINAS: 200-209
AUTORES: Luís Moniz Pereira ; Paul Sabatier; Eugénio Oliveira ;
PUBLICAÇÃO: 1982, FONTE: ICLP, PÁGINAS: 200-209