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: Porto, A ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP
3
TITLE: An Alternative High-Level Approach to Interaction with Databases
AUTHORS: António Porto ;
PUBLISHED: 2009, SOURCE: INAP, VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
4
TITLE: High-Level Interaction with Relational Databases in Logic Programming
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
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
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
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
INDEXED IN: DBLP
10
TITLE: Entailment-based actions for coordination
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
Page 1 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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