Travelled to:1 × Israel
1 × Japan
3 × France
3 × USA
Collaborated with:∅ L.M.Pereira L.Monteiro M.Filgueiras
Talks about:program (7) logic (7) prolog (3) structur (2) languag (2) system (2) semant (2) transform (1) implement (1) backtrack (1)
Person: António Porto
DBLP: Porto:Ant=oacute=nio
Facilitated 1 volumes:
EdContributed to:
2011
20092003
20021991199019841982
1980Wrote 10 papers:
- ICLP-J-2011-Porto #composition #prolog #semantics
- A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.
- PADL-2009-Porto #database #interactive #logic programming #relational
- High-Level Interaction with Relational Databases in Logic Programming (AP), pp. 152–167.
- PADL-2003-Porto #information management #prolog
- An Integrated Information System Powered by Prolog (AP), pp. 92–109.
- FLOPS-2002-Porto #abstraction #logic programming
- Structural Abstraction and Application in Logic Programming (AP), pp. 275–289.
- ICLP-1991-Porto #logic programming
- Logic Programming Environments (AP), p. 946.
- CLP-1990-MonteiroP90 #inheritance #logic programming
- A Transformational View of Inheritance in Logic Programming (LM, AP), pp. 481–494.
- SLP-1984-PortoF84 #approach #logic programming #natural language #semantics
- Natural Language Semantics: A Logic Programming Approach (AP, MF), pp. 228–232.
- ILPC-1982-PereiraP82 #implementation #prolog #scalability
- A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.
- ILPC-1982-Porto82 #logic #named #programming
- Epilog: A Language for Extended Programming in Logic (AP), pp. 31–37.
- CADE-1980-PereiraP #backtracking #logic programming #source code
- Selective Backtracking for Logic Programs (LMP, AP), pp. 306–317.