Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 2855
47 Team MembersFilters -> Year: 2026
2841
TITLE: The YToolkit: A Prolog Approach to a User Interface
AUTHORS: José Paulo Leal ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, PAGES: 19-29
AUTHORS: José Paulo Leal ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, PAGES: 19-29
INDEXED IN: 
DBLP
DBLP2842
TITLE: An External Database for Prolog
AUTHORS: José Paulo Leal ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 276-285
AUTHORS: José Paulo Leal ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 276-285
2843
TITLE: Contextual Logic Programming
AUTHORS: Luís Monteiro; António Porto ;
PUBLISHED: 1989, SOURCE: ICLP, PAGES: 284-299
AUTHORS: Luís Monteiro; António Porto ;
PUBLISHED: 1989, SOURCE: ICLP, PAGES: 284-299
INDEXED IN: DBLP
DBLP2844
TITLE: Semantic Analysis of Time and Tense in Natural Language: An Implementation
AUTHORS: Nelma Moreira ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 198-209
AUTHORS: Nelma Moreira ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390, PAGES: 198-209
2845
TITLE: Some Comments on a Logic Programming Approach to Natural Language Semantics
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI, PAGES: 187-197
AUTHORS: Ana Paula Tomás ; Miguel Filgueiras;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI, PAGES: 187-197
2846
TITLE: Epilog: A Language for Extended Programming in Logic
AUTHORS: António Porto ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog, PAGES: 268-278
AUTHORS: António Porto ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog, PAGES: 268-278
INDEXED IN: DBLP
DBLP2847
TITLE: Natural Language Semantics: A Logic Programming Approach
AUTHORS: António Porto ; Miguel Filgueiras;
PUBLISHED: 1984, SOURCE: SLP, PAGES: 228-232
AUTHORS: António Porto ; Miguel Filgueiras;
PUBLISHED: 1984, SOURCE: SLP, PAGES: 228-232
INDEXED IN: 
Scopus DBLP
Scopus DBLP2848
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
AUTHORS: Antonio Porto ;
PUBLISHED: 1984, SOURCE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS, PAGES: 356-360
INDEXED IN: Scopus DBLP
Scopus DBLP2849
TITLE: KBO1: A Knowledge Based Garden Store Assistant
AUTHORS: Adrian Walker; António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop, PAGES: 252-270
AUTHORS: Adrian Walker; António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop, PAGES: 252-270
INDEXED IN: DBLP
DBLP2850
TITLE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings
AUTHORS: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLISHED: 1983
AUTHORS: Luís Moniz Pereira; António Porto ; Luís Monteiro; Miguel Figueiras;
PUBLISHED: 1983
INDEXED IN: DBLP
DBLP2851
TITLE: Logical Action Systems PDF
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
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
INDEXED IN: DBLP
DBLP2852
TITLE: A Prolog Implementation of a Large System on a Small Machine
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1982, SOURCE: ICLP, PAGES: 225-229
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1982, SOURCE: ICLP, PAGES: 225-229
INDEXED IN: DBLP
DBLP2853
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
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
INDEXED IN: DBLP
DBLP2854
TITLE: Ackermann and the superpowers Full Text
AUTHORS: António Porto ; Armando B Matos;
PUBLISHED: 1980, SOURCE: SIGACT News, VOLUME: 12, ISSUE: 3, PAGES: 90-95
AUTHORS: António Porto ; Armando B Matos;
PUBLISHED: 1980, SOURCE: SIGACT News, VOLUME: 12, ISSUE: 3, PAGES: 90-95
INDEXED IN: DBLP
DBLP2855
TITLE: Selective Backtracking for Logic Programs
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1980, SOURCE: CADE, PAGES: 306-317
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1980, SOURCE: CADE, PAGES: 306-317
