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

85 Team Members
Filters -> Year: 2025
2741
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 59-70
2742
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitão, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PAGES: 59-70
2743
TITLE: An integrated information system powered by Prolog
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
2744
TITLE: An Internet DGPS service for precise outdoor navigation
AUTHORS: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, ISSUE: January, PAGES: 512-518
2745
TITLE: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTHORS: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: Proceedings of the 2003 ACM Symposium on Applied Computing in Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, PAGES: 679-683
2746
TITLE: Assuming a roadmap strategy for E-business: Matching the right solution over a thousand answers
AUTHORS: Gouveia, FR ; Gouveia, L. ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 550-553
2747
TITLE: Brokering in electronic insurance markets
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PAGES: 574-583
2748
TITLE: Compilation for FPGA-based reconfigurable hardware
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
2749
TITLE: Cooperative learning using advice exchange
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PAGES: 33-48
2750
2751
TITLE: Emotional Advantage for Adaptability and Autonomy
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2003, SOURCE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PAGES: 305-312
2752
TITLE: Engineering and social sciences: Three models for a possible dialogue
AUTHORS: Machado, AA; Restivo, FO ;
PUBLISHED: 2003, SOURCE: 7th World Multiconference on Systemics, Cybernetics and Informatics in 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, PAGES: 221-224
2753
TITLE: Exchanging advice and learning to trust
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PAGES: 250-265
2754
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
2755
TITLE: FORMAware: Framework of reflective components for managing architecture adaptation
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
2756
TITLE: From C programs to the configure-execute model
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
2757
TITLE: Identification of adacor holons for manufacturing control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PAGES: 101-106
2758
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3, PAGES: 109-114
2759
TITLE: Integration of automation resources in holonic manufacturing applications
AUTHORS: Leitao, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 35-46
2760
TITLE: Integration of automation resources in holonic manufacturing applications
AUTHORS: Leitão, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PAGES: 35-46

Results per Page: 20.
Page 138 of 147. Total results: 2938.