CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 8902

531 Team Members
Filters -> Year: 2024
8861
TITLE: Temporal Inference with a Point Based Interval Algebra
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI, PAGES: 374-378
INDEXED IN: DBLP
8862
TITLE: A FLEXIBLE SCHEDULER FOR THE ANDORRA-I SYSTEM
AUTHORS: DUTRA, ID ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 569, PAGES: 70-82
INDEXED IN: WOS
8863
TITLE: A Flexible Scheduler for the Andorra-I System
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1991, SOURCE: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings, VOLUME: 569, PAGES: 70-82
INDEXED IN: Scopus DBLP CrossRef
8864
TITLE: A multi-agent environment in robotics
AUTHORS: Eugénio C Oliveira ; Rui Camacho ; Carlos Ramos;
PUBLISHED: 1991, SOURCE: Robotica, VOLUME: 9, ISSUE: 4, PAGES: 431-440
INDEXED IN: Scopus DBLP CrossRef: 5
8865
TITLE: A TOOL FOR COOPERATIVE EXPERT SYSTEMS
AUTHORS: OLIVEIRA, E ; CAMACHO, R ;
PUBLISHED: 1991, SOURCE: 1ST WORLD CONGRESS ON EXPERT SYSTEMS in PROCEEDINGS OF THE WORLD CONGRESS ON EXPERT SYSTEMS, VOLS 1-4, PAGES: 1774-1783
INDEXED IN: WOS
8866
TITLE: An History Based Interface
AUTHORS: José Paulo Leal ; Luís Damas ; Nelma Moreira ;
PUBLISHED: 1991, SOURCE: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, PAGES: 10-16
INDEXED IN: DBLP
8867
TITLE: Andorra I. a parallel Prolog system that transparently exploits both And-and or-parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '91
INDEXED IN: CrossRef: 25
8868
TITLE: Andorra I. a parallel Prolog system that transparently exploits both And-and or-parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: ACM SIGPLAN Notices - SIGPLAN Not., VOLUME: 26, ISSUE: 7, PAGES: 83-93
INDEXED IN: CrossRef: 18
8869
TITLE: Andorra-I engine: A parallel implementation of the basic Andorra model
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 825-839
INDEXED IN: Scopus DBLP
8870
TITLE: Andorra-I preprocessor: Supporting full Prolog on the basic Andorra model
AUTHORS: Vitor Santos Costa ; Warren David, HD; Rong Yang;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 8th International Conference in Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, PAGES: 443-456
INDEXED IN: Scopus DBLP
8871
TITLE: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991, PAGES: 83-93
INDEXED IN: DBLP
8872
TITLE: CONTROLLING COOPERATIVE EXPERTS IN A REAL-TIME SYSTEM
AUTHORS: OLIVEIRA, E ; QIEGANG, L; CAMACHO, R ;
PUBLISHED: 1991, SOURCE: 3RD INTERNATIONAL CONF ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS in THIRD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS, VOLUME: 344, ISSUE: 344, PAGES: 176-181
INDEXED IN: Scopus WOS
8873
TITLE: IDIOM: Integrating dependent and-, independent and-, and or-parallelism
AUTHORS: Gopal Gupta; Costa Vitor Santos ; Rong Yang; Hermenegildo Manuel, V;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium in Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, PAGES: 152-166
INDEXED IN: Scopus DBLP
8874
TITLE: Integral transforms as a change of basis in a vectorial space
AUTHORS: Grilo Francisco, CV; Casimiro Antonio, MES; Correia C Lopes Joao ;
PUBLISHED: 1991, SOURCE: 1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 5, PAGES: 2773-2775
INDEXED IN: Scopus
8875
TITLE: INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE - CONFERENCE REPORT
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1991, SOURCE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, ISSUE: 6, PAGES: 601-602
INDEXED IN: WOS
8876
TITLE: Learning in multi-agent environments
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1991, SOURCE: Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings, PAGES: 15-
INDEXED IN: DBLP
8877
TITLE: Learning to Relate Terms in a Multiple Agent Environment
AUTHORS: Pavel Brazdil ; Stephen Muggleton;
PUBLISHED: 1991, SOURCE: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 424-439
INDEXED IN: DBLP CrossRef: 6
8878
TITLE: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8879
TITLE: Panel: Learning in Distributed Systems and Multi-Agent Environments
AUTHORS: Pavel Brazdil ; Matjaz Gams; Sati S Sian; Luís Torgo ; Walter Van de Velde;
PUBLISHED: 1991, SOURCE: European Working Session on Learning, EWSL 1991 in Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, VOLUME: 482, PAGES: 412-423
INDEXED IN: Scopus DBLP CrossRef: 13
8880
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 444 de 446. Total de resultados: 8902.