Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory
Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.
As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:
- Investigadores associados à equipa da Instituição em cada ano.
- Origem das Publicações.
As publicações associadas à Instituição podem ter três origens:
- Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
- Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
- Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 2713
85 Team MembersFilters -> Year: 2024
AUTORES: Antonio Porto ; Miguel Filgueiras;
PUBLICAÇÃO: 1984, FONTE: 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, PÁGINAS: 228-232
AUTORES: Antonio Porto ;
PUBLICAÇÃO: 1984, FONTE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS, PÁGINAS: 356-360
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: Adrian Walker; António Porto ;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PÁGINAS: 252-270
AUTORES: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLICAÇÃO: 1983
AUTORES: António Porto ;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., PÁGINAS: 192-203
AUTORES: LISTER, PF; RESTIVO, FJD ;
PUBLICAÇÃO: 1982, FONTE: JOURNAL OF MICROCOMPUTER APPLICATIONS, VOLUME: 5, NÚMERO: 2, PÁGINAS: 129-149
AUTORES: Luís Moniz Pereira ; António Porto ;
PUBLICAÇÃO: 1982, FONTE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PÁGINAS: 225-229
AUTORES: António Porto ;
PUBLICAÇÃO: 1982, FONTE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PÁGINAS: 31-37
AUTORES: JONES, NB; LISTER, PF; LAGO, PJA ; RESTIVO, FJD ;
PUBLICAÇÃO: 1982, FONTE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 20, NÚMERO: 5, PÁGINAS: 649-652
AUTORES: Luís Moniz Pereira ; Paul Sabatier; Eugenio Oliveira ;
PUBLICAÇÃO: 1982, FONTE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982, PÁGINAS: 200-209
AUTORES: António Porto ; Armando B Matos;
PUBLICAÇÃO: 1980, FONTE: SIGACT News, VOLUME: 12, NÚMERO: 3, PÁGINAS: 90-95
AUTORES: Luís Moniz Pereira ; António Porto ;
PUBLICAÇÃO: 1980, FONTE: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, VOLUME: 87, PÁGINAS: 306-317