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: 2912

85 Team Members
Filters -> Year: 2025
2901
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
2902
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
2903
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
2905
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
2906
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
2907
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
2908
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
2909
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
2910
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
2911
TITLE: Ackermann and the superpowers
AUTHORS: António Porto ; Armando B Matos;
PUBLISHED: 1980, SOURCE: SIGACT News, VOLUME: 12, ISSUE: 3, PAGES: 90-95
2912
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 146 of 146. Total results: 2912.