Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

AuthID: I-000-18J

External   Internal

Publications Count: 2938

85 Team Members
Filters -> Year: 2025
2921
TITLE: ARCA - Integrated system for cardiac pathologies diagnosis and therapy
AUTHORS: Eugenio Oliveira ; Joao Rocha ; Abreu Lima, C; Marques de Sa, JP;
PUBLISHED: 1988, SOURCE: Computers in Cardiology 1988 in Computers in Cardiology, PAGES: 489-492
2922
TITLE: Model-based expert system for diagnosis of cardiac arrhythmias
AUTHORS: Eugenio Oliveira ; Joao Rocha ; Paulo Cunha;
PUBLISHED: 1987, SOURCE: Computers in Cardiology Conference 1987 in Computers in Cardiology, PAGES: 639-642
2923
TITLE: DEVELOPING EXPERT SYSTEMS BUILDERS IN LOGIC PROGRAMMING
AUTHORS: OLIVEIRA, E ;
PUBLISHED: 1984, SOURCE: NEW GENERATION COMPUTING, VOLUME: 2, ISSUE: 2, PAGES: 187-194
2924
TITLE: Epilog: A Language for Extended Programming in Logic
AUTHORS: António Porto ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog, PAGES: 268-278
2925
TITLE: EXPERT EVALUATION IN LOGIC OF ENVIRONMENTAL RESOURCES THROUGH NATURAL LANGUAGE.
AUTHORS: Luiz Moniz Pereira; Eugenio Oliveira ; Paul Sabatier;
PUBLISHED: 1984, SOURCE: Artificial and Human Intelligence, Edited Review Papers presented at the International NATO Symposium. , PAGES: 309-311
2926
TITLE: NATURAL LANGUAGE SEMANTICS: A LOCIC PROGRAMMING APPROACH.
AUTHORS: Antonio Porto ; Miguel Filgueiras;
PUBLISHED: 1984, SOURCE: 1984 International Symposium on Logic Programming. in Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, PAGES: 228-232
2927
TITLE: TWO-LEVEL PROLOG.
AUTHORS: Antonio Porto ;
PUBLISHED: 1984, SOURCE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS, PAGES: 356-360
2928
TITLE: Developing Expert Systems Builders in Logic Programming
AUTHORS: Eugénio Oliveira ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PAGES: 240-251
2929
TITLE: KBO1: A Knowledge Based Garden Store Assistant
AUTHORS: Adrian Walker; António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PAGES: 252-270
2930
2931
TITLE: Logical Action Systems
AUTHORS: António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PAGES: 192-203
2932
TITLE: A MULTIPLE MICROPROCESSOR SYSTEM FOR BIOMEDICAL SIGNAL-PROCESSING
AUTHORS: LISTER, PF; RESTIVO, FJD ;
PUBLISHED: 1982, SOURCE: JOURNAL OF MICROCOMPUTER APPLICATIONS, VOLUME: 5, ISSUE: 2, PAGES: 129-149
2933
TITLE: A Prolog Implementation of a Large System on a Small Machine
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PAGES: 225-229
2934
TITLE: Epilog: A Language for Extended Programming in Logic
AUTHORS: António Porto ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PAGES: 31-37
2935
TITLE: MICROCOMPUTER-BASED ELECTRO-MYOGRAPHIC SIGNAL ANALYSIS
AUTHORS: JONES, NB; LISTER, PF; LAGO, PJA ; RESTIVO, FJD ;
PUBLISHED: 1982, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 20, ISSUE: 5, PAGES: 649-652
2936
TITLE: ORBI - An Expert System for Environmental Resource Evaluation through Natural Language
AUTHORS: Luís Moniz Pereira ; Paul Sabatier; Eugenio Oliveira ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PAGES: 200-209
2937
TITLE: Ackermann and the superpowers
AUTHORS: António Porto ; Armando B Matos;
PUBLISHED: 1980, SOURCE: SIGACT News, VOLUME: 12, ISSUE: 3, PAGES: 90-95
2938
TITLE: Selective Backtracking for Logic Programs
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1980, SOURCE: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, VOLUME: 87, PAGES: 306-317

Results per Page: 20.
Page 147 of 147. Total results: 2938.