Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Confirmed Publications: 99



91
TITLE: ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
AUTHORS: Salvador Abreu ;
PUBLISHED: 2001, SOURCE: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, Univeristy of Tokyo, Tokyo, Japan, October 20-22, 2001
INDEXED IN: DBLP
IN MY: DBLP
92
TITLE: Logic-based Network Configuration and Management
AUTHORS: Salvador Abreu ; Joaquim Godinho;
PUBLISHED: 2001, SOURCE: 7th International Conference of European University Information Systems, EUNIS 2001 in The Changing Universities - The Role of Technology, The 7th International Conference of European University Information Systems, March 28-30, 2001, Berlin, Germany, Proceedings, VOLUME: 13
INDEXED IN: Scopus DBLP
IN MY: DBLP
93
TITLE: Relational Information Retrieval through Natural Language Analysis
AUTHORS: Luis Quintano; Salvador Abreu ; Irene Pimenta Rodrigues ;
PUBLISHED: 2001, SOURCE: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, VOLUME: 2543
INDEXED IN: DBLP CrossRef
IN MY: DBLP
94
TITLE: A CLP framework in Java
AUTHORS: Ferreira, L; Abreu, S ;
PUBLISHED: 2000, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming (in Connection with ICLP'99, International Conference on Logic in Electronic Notes in Theoretical Computer Science, VOLUME: 30, ISSUE: 3
INDEXED IN: Scopus CrossRef
IN MY: ORCID
95
TITLE: A logic-based information system  Full Text
AUTHORS: Abreu, SP ;
PUBLISHED: 2000, SOURCE: 2ND International Workshop on Practical Aspects of Declarative Languages (PADL '2000) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1753
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
96
TITLE: A Constraint Logic Programming Framwork in Java
AUTHORS: Lígia Ferreira; Salvador Abreu ;
PUBLISHED: 1999, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 30, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
97
TITLE: A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
INDEXED IN: DBLP
IN MY: DBLP
98
TITLE: Design for AKL with Intelligent Pruning
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXED IN: DBLP CrossRef
IN MY: DBLP
99
TITLE: Improving Backward Execution in the Andorra Family of Languages
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ; Philippe Codognet;
PUBLISHED: 1992, SOURCE: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
INDEXED IN: DBLP
IN MY: DBLP
Page 10 of 10. Total results: 99.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service