António Beça Gonçalves Porto


AuthID: R-000-1Y4

Confirmed Publications: 36



1
TITLE: A structured alternative to Prolog with simple compositional semantics
AUTHORS: ANTÓNIO PORTO ;
PUBLISHED: 2011, SOURCE: Theory and Practice of Logic Programming, VOLUME: 11, ISSUE: 4-5
INDEXED IN: CrossRef: 1
IN MY: ORCID
2
TITLE: A structured alternative to Prolog with simple compositional semantics
AUTHORS: Antonio Porto ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP
IN MY: ResearcherID | DBLP
3
TITLE: An alternative high-level approach to interaction with databases
AUTHORS: Porto, A ;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: High-Level Interaction with Relational Databases in Logic Programming  Full Text
AUTHORS: Porto, A ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
5
TITLE: PPDP09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword
AUTHORS: Porto, A ; Lopez Fraguas, FJ;
PUBLISHED: 2009, SOURCE: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'09 in PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
INDEXED IN: Scopus
IN MY: ORCID
6
7
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP
8
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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
9
TITLE: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings  Full Text
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: Entailment-based actions for coordination  Full Text
AUTHORS: Monteiro, L ; Porto, A ;
PUBLISHED: 1998, SOURCE: 1st International Conference on Coordination Languages and Models - Thoeretical Aspects of Coordination Languages in THEORETICAL COMPUTER SCIENCE, VOLUME: 192, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
Page 1 of 4. Total results: 36.

A place for researchers and their institutions

Useful Links

Get Help

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