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: 3694
86 Team MembersFilters -> Year: 2026
3521
TITLE: Holonic adaptive production control systems
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 28th Annual Conference of the IEEE Industrial-Electronics-Society in IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 4, PAGES: 2968-2973
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 28th Annual Conference of the IEEE Industrial-Electronics-Society in IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 4, PAGES: 2968-2973
3522
TITLE: Improved dataset characterisation for meta-learning
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
3523
TITLE: On Learning by Exchanging Advice
AUTHORS: Luís Nunes; Eugénio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
AUTHORS: Luís Nunes; Eugénio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
INDEXED IN: 
DBLP 
Handle
DBLP Handle3524
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 259-274
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 259-274
INDEXED IN: DBLP
DBLP3525
TITLE: Querying petrographic descriptions in an intelligent database system
AUTHORS: Santos C.P. ;
PUBLISHED: 2002, SOURCE: Proceedings - 2002 IEEE International Conference on Artificial Intelligence Systems, ICAIS 2002, PAGES: 18-23
AUTHORS: Santos C.P. ;
PUBLISHED: 2002, SOURCE: Proceedings - 2002 IEEE International Conference on Artificial Intelligence Systems, ICAIS 2002, PAGES: 18-23
3526
TITLE: Reflection, Self-Awareness and Self-Healing in OpenORB
AUTHORS: Blair, GS; Coulson, G; Blair, L; Duran Limon, H; Grace, P; Moreira, R ; Parlavantzas, N;
PUBLISHED: 2002, SOURCE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), PAGES: 9-14
AUTHORS: Blair, GS; Coulson, G; Blair, L; Duran Limon, H; Grace, P; Moreira, R ; Parlavantzas, N;
PUBLISHED: 2002, SOURCE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), PAGES: 9-14
INDEXED IN: 
Scopus
Scopus3527
TITLE: Reliable framework architecture for multi-agents systems interaction
AUTHORS: Oliveira, E ; Pereira, G; Gomes, C;
PUBLISHED: 2002, SOURCE: 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2002) in PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, VOLUME: 7, PAGES: 276-281
AUTHORS: Oliveira, E ; Pereira, G; Gomes, C;
PUBLISHED: 2002, SOURCE: 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2002) in PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, VOLUME: 7, PAGES: 276-281
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP3528
TITLE: Structural Abstraction and Application in Logic Programming
AUTHORS: António Porto ;
PUBLISHED: 2002, SOURCE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 275-289
AUTHORS: António Porto ;
PUBLISHED: 2002, SOURCE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 275-289
3529
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422, PAGES: 41-59
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422, PAGES: 41-59
3530
TITLE: Using BDI agents to improve driver modelling in a commuter scenario Full Text
AUTHORS: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLISHED: 2002, SOURCE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, ISSUE: 5-6, PAGES: 373-398
AUTHORS: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLISHED: 2002, SOURCE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, ISSUE: 5-6, PAGES: 373-398
3531
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
3532
TITLE: 5dpo Team Description Full Text
AUTHORS: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 563-566
AUTHORS: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 563-566
INDEXED IN: Scopus DBLP
Scopus DBLP3533
TITLE: A formal executable semantics of the JavaCard platform
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3534
TITLE: A language for specifying complete timetabling problems
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
3535
TITLE: A multi-agent based cell controller
AUTHORS: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PAGES: 463-470
AUTHORS: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PAGES: 463-470
3536
TITLE: A reflective component-based and architecture aware framework to manage architecture composition
AUTHORS: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PAGES: 187-196
AUTHORS: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PAGES: 187-196
3537
TITLE: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Processes
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
3538
TITLE: Agents' advanced features for negotiation and coordination Full Text
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
INDEXED IN: WOS DBLP
WOS DBLP3539
TITLE: Applying DIP techniques to microscopic biological images
AUTHORS: Araujo, AA; Faria, BM ; Silva, MAR; Reis, HJ;
PUBLISHED: 2001, SOURCE: Nonlinear Image Processing and Pattern Analysis XII in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 4304, PAGES: 58-66
AUTHORS: Araujo, AA; Faria, BM ; Silva, MAR; Reis, HJ;
PUBLISHED: 2001, SOURCE: Nonlinear Image Processing and Pattern Analysis XII in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 4304, PAGES: 58-66
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3540
TITLE: Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
