CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10650
536 Team MembersFilters -> Year: 2026
10581
TITLE: Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, PAGES: 289-304
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1994, SOURCE: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, PAGES: 289-304
INDEXED IN: 
DBLP
DBLP10582
TITLE: STRATEGIES FOR SCHEDULING AND-WORK AND OR-WORK IN PARALLEL LOGIC PROGRAMMING SYSTEMS Full Text
AUTHORS: DUTRA, ID ;
PUBLISHED: 1994, SOURCE: LOGIC PROGRAMMING, PAGES: 289-304
AUTHORS: DUTRA, ID ;
PUBLISHED: 1994, SOURCE: LOGIC PROGRAMMING, PAGES: 289-304
INDEXED IN: 
WOS
WOS10583
TITLE: Supporting Cooperative Software Development through a Multimedia Environment
AUTHORS: Adérito Marcos ;
PUBLISHED: 1994, SOURCE: Eurographics - Multimedia/Hypermedia in Open Distributed Environments, PAGES: 316-330
AUTHORS: Adérito Marcos ;
PUBLISHED: 1994, SOURCE: Eurographics - Multimedia/Hypermedia in Open Distributed Environments, PAGES: 316-330
10584
TITLE: Use of Pyramids in Symbolic Data Analysis
AUTHORS: Brito, P ;
PUBLISHED: 1994, SOURCE: New Approaches in Classification and Data Analysis - Studies in Classification, Data Analysis, and Knowledge Organization, PAGES: 378-386
AUTHORS: Brito, P ;
PUBLISHED: 1994, SOURCE: New Approaches in Classification and Data Analysis - Studies in Classification, Data Analysis, and Knowledge Organization, PAGES: 378-386
10585
TITLE: Visualization and Interaction in Logic Programming
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
AUTHORS: José Paulo Leal ;
PUBLISHED: 1994, SOURCE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
INDEXED IN: DBLP
DBLP10586
TITLE: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 170-182
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 170-182
10587
TITLE: And-Or Parallel Prolog: A Recomputation Based Approach
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1993, SOURCE: New Gener. Comput., VOLUME: 11, ISSUE: 3, PAGES: 297-321
AUTHORS: Gopal Gupta; Manuel V Hermenegildo; Vítor Santos Costa ;
PUBLISHED: 1993, SOURCE: New Gener. Comput., VOLUME: 11, ISSUE: 3, PAGES: 297-321
10588
TITLE: Compile-time analysis for the parallel execution of logic programs in Andorra-1
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
AUTHORS: Vítor Manuel de Morais Santos Costa ;
PUBLISHED: 1993, SOURCE: British Library, EThOS
INDEXED IN: DBLP
DBLP10589
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 77-92
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 77-92
10590
TITLE: Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
AUTHORS: Fernando M A Silva ;
PUBLISHED: 1993, SOURCE: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, PAGES: 25-44
INDEXED IN: DBLP
DBLP10591
TITLE: Learning Probabilistic Models by Conceptual Pyramidal Clustering
AUTHORS: Edwin Diday; Paula Brito ; Mfoumoune, E;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 362
AUTHORS: Edwin Diday; Paula Brito ; Mfoumoune, E;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI, PAGES: 362
10592
TITLE: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1993, SOURCE: ECML, VOLUME: 667
AUTHORS: Pavel Brazdil ;
PUBLISHED: 1993, SOURCE: ECML, VOLUME: 667
INDEXED IN: DBLP
DBLP10593
TITLE: Performance of the Compiler-Based Andorra-I System
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: ICLP, PAGES: 150-166
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: ICLP, PAGES: 150-166
INDEXED IN: DBLP
DBLP10594
TITLE: PERFORMANCE OF THE COMPILER-BASED ANDORRA-I SYSTEM Full Text
AUTHORS: YANG, R; BEAUMONT, T; DUTRA, I ; COSTA, VS; WARREN, DHD;
PUBLISHED: 1993, SOURCE: LOGIC PROGRAMMING, PAGES: 150-166
AUTHORS: YANG, R; BEAUMONT, T; DUTRA, I ; COSTA, VS; WARREN, DHD;
PUBLISHED: 1993, SOURCE: LOGIC PROGRAMMING, PAGES: 150-166
INDEXED IN: WOS
WOS10595
TITLE: Representation and Inference with Consistent Temporal Propositions
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: ELP, PAGES: 322-332
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: ELP, PAGES: 322-332
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef10596
TITLE: Representation and Manipulation of Music Documents in SceX
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electron. Publ., VOLUME: 6, ISSUE: 4, PAGES: 507-518
AUTHORS: Miguel Filgueiras; José Paulo Leal ;
PUBLISHED: 1993, SOURCE: Electron. Publ., VOLUME: 6, ISSUE: 4, PAGES: 507-518
INDEXED IN: DBLP
DBLP10597
TITLE: A Method of Processing Unknown Attribute Values by ID3
AUTHORS: Pavel Brazdil ; Ivan Bruha;
PUBLISHED: 1992, SOURCE: ICCI, PAGES: 253-256
AUTHORS: Pavel Brazdil ; Ivan Bruha;
PUBLISHED: 1992, SOURCE: ICCI, PAGES: 253-256
INDEXED IN: DBLP
DBLP10598
TITLE: And-Or Parallelism in Full Prolog with Paged Binding Arrays
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE, PAGES: 617-632
AUTHORS: Gopal Gupta; Vítor Santos Costa ;
PUBLISHED: 1992, SOURCE: PARLE, PAGES: 617-632
10599
TITLE: APPROACHES TO INDUCTIVE LOGIC PROGRAMMING
AUTHORS: BRAZDIL, PB ;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 617, PAGES: 139-160
AUTHORS: BRAZDIL, PB ;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 617, PAGES: 139-160
INDEXED IN: WOS DBLP
WOS DBLP10600
TITLE: Approaches to inductive logic programming
AUTHORS: Pavel B Brazdil ;
PUBLISHED: 1992, SOURCE: Advanced Topics in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 139-160
AUTHORS: Pavel B Brazdil ;
PUBLISHED: 1992, SOURCE: Advanced Topics in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 139-160
INDEXED IN: CrossRef
CrossRef