Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 3642
85 Team MembersFilters -> Year: 2026
3501
TITLE: Type Inference using Constraint Handling Rules
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64, PAGES: 56-72
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64, PAGES: 56-72
3502
TITLE: 5dpo team description
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 663-666
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 663-666
3503
TITLE: 5dpo-2000 team description
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 754-757
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 754-757
3504
TITLE: A comparison of ranking methods for classification algorithm selection
AUTHORS: Brazdil, PB ; Soares, C ;
PUBLISHED: 2000, SOURCE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PAGES: 63-74
AUTHORS: Brazdil, PB ; Soares, C ;
PUBLISHED: 2000, SOURCE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PAGES: 63-74
3505
TITLE: A Platform for Electronic Commerce with Adaptive Agents
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: AMEC, VOLUME: 2003, PAGES: 96-107
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: AMEC, VOLUME: 2003, PAGES: 96-107
3506
TITLE: Agent-based framework for the assessment of drivers' decision-making
AUTHORS: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLISHED: 2000, SOURCE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 387-392
AUTHORS: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLISHED: 2000, SOURCE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 387-392
INDEXED IN: 
Scopus
Scopus3507
TITLE: An empirical study on the usability of an information navigation aid
AUTHORS: Lamas, DR; Jerrams Smith, J; Heathcote, D; Gouveia, FR ;
PUBLISHED: 2000, SOURCE: Association-for-Computing-Machinery Conference in CUU 2000 CONFERENCE PROCEEDINGS, PAGES: 151-152
AUTHORS: Lamas, DR; Jerrams Smith, J; Heathcote, D; Gouveia, FR ;
PUBLISHED: 2000, SOURCE: Association-for-Computing-Machinery Conference in CUU 2000 CONFERENCE PROCEEDINGS, PAGES: 151-152
3508
TITLE: An enhanced static-list scheduling algorithm for temporal partitioning onto RPUs
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
3509
TITLE: Computational depth Full Text
AUTHORS: Antunes, L ; Fortnow, Lance ; van Melkebeek, D;
PUBLISHED: 2000, SOURCE: 16th Annual IEEE Conference on Computational Complexity in 16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 266-273
AUTHORS: Antunes, L ; Fortnow, Lance ; van Melkebeek, D;
PUBLISHED: 2000, SOURCE: 16th Annual IEEE Conference on Computational Complexity in 16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 266-273
3510
TITLE: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings Full Text
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
INDEXED IN: 
DBLP
DBLP3511
TITLE: Dynamically reconfigurable implementation of control circuits
AUTHORS: Lau, N ; Sklyarov, V;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 137-148
AUTHORS: Lau, N ; Sklyarov, V;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 137-148
INDEXED IN: 
WOS
WOS3512
TITLE: FC Portugal Team Description: RoboCup 2000 Simulation League Champion
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2000, SOURCE: RoboCup, VOLUME: 2019 LNAI, PAGES: 29-40
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2000, SOURCE: RoboCup, VOLUME: 2019 LNAI, PAGES: 29-40
3513
TITLE: Intelligent control and decision-making demonstrated on a simple compass-guided robot
AUTHORS: Lopes, LS ; Lau, N ; Reis, LP ;
PUBLISHED: 2000, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, VOLUME: 4, PAGES: 2419-2424
AUTHORS: Lopes, LS ; Lau, N ; Reis, LP ;
PUBLISHED: 2000, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, VOLUME: 4, PAGES: 2419-2424
3514
TITLE: Linear Algebra Algorithms in Heterogeneous Cluster of Personal Computers
AUTHORS: Jorge G Barbosa ; João Manuel R. S. Tavares ; Armando J Padilha;
PUBLISHED: 2000, SOURCE: Heterogeneous Computing Workshop, PAGES: 147-159
AUTHORS: Jorge G Barbosa ; João Manuel R. S. Tavares ; Armando J Padilha;
PUBLISHED: 2000, SOURCE: Heterogeneous Computing Workshop, PAGES: 147-159
INDEXED IN: Scopus DBLP
Scopus DBLP3515
TITLE: Measures to evaluate rankings of classification algorithms
AUTHORS: Soares, C ; Brazdil, P ; Costa, J ;
PUBLISHED: 2000, SOURCE: 7th Conference of the International-Federation-of-Classification-Societies in DATA ANALYSIS, CLASSIFICATION, AND RELATED METHODS, PAGES: 119-124
AUTHORS: Soares, C ; Brazdil, P ; Costa, J ;
PUBLISHED: 2000, SOURCE: 7th Conference of the International-Federation-of-Classification-Societies in DATA ANALYSIS, CLASSIFICATION, AND RELATED METHODS, PAGES: 119-124
INDEXED IN: WOS
WOS3516
TITLE: Situation Based Strategic Positioning for Coordinating a Team of Homogeneous Agents
AUTHORS: Luís Paulo Reis ; Nuno Lau ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: Balancing Reactivity and Social Deliberation in Multi-Agent Systems, VOLUME: 2103, PAGES: 175-197
AUTHORS: Luís Paulo Reis ; Nuno Lau ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: Balancing Reactivity and Social Deliberation in Multi-Agent Systems, VOLUME: 2103, PAGES: 175-197
3517
TITLE: Solving conflicting beliefs with a distributed belief revision approach
AUTHORS: Malheiro, B ; Oliveira, E ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 146-155
AUTHORS: Malheiro, B ; Oliveira, E ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 146-155
3518
TITLE: Tracking and identifying in real time the robots of a F-180 team
AUTHORS: Costa, P ; Marques, P ; Moreira, A ; Sousa, A ; Costa, P ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 286-291
AUTHORS: Costa, P ; Marques, P ; Moreira, A ; Sousa, A ; Costa, P ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 286-291
3519
TITLE: Using and evaluating adaptive agents for electronic commerce negotiation
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 96-105
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 96-105
3520
TITLE: Zoomed anking: Selection of Classification Algorithms Based on Relevant Performance Information
AUTHORS: Soares, C ; Brazdil, PB ;
PUBLISHED: 2000, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 1910, PAGES: 126-135
AUTHORS: Soares, C ; Brazdil, PB ;
PUBLISHED: 2000, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE
