Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
António Porto
2010 – today
- 2011
[j2]António Porto: A structured alternative to Prolog with simple compositional semantics. TPLP 11(4-5): 611-627 (2011)- [i1]António Porto: A structured alternative to Prolog with simple compositional semantics. CoRR abs/1107.5408 (2011)
2000 – 2009
- 2009
- [c22]
- [c21]António Porto: High-Level Interaction with Relational Databases in Logic Programming. PADL 2009: 152-167
- [e3]António Porto, Francisco Javier López-Fraguas (Eds.): Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal. ACM 2009, ISBN 978-1-60558-568-0
- 2003
- [c20]
- 2002
- [c19]
- 2000
- [e2]António Porto, Gruia-Catalin Roman (Eds.): Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Lecture Notes in Computer Science 1906, Springer 2000, ISBN 3-540-41020-1
1990 – 1999
- 1998
- [j1]Luís Monteiro, António Porto: Entailment-Based Actions for Coordination. Theor. Comput. Sci. 192(2): 259-286 (1998)
- 1994
- [c18]
- 1993
- [c17]Cristina Ribeiro, António Porto: Representation and Inference with Consistent Temporal Propositions. ELP 1993: 322-332
- [c16]
- 1992
- [c15]António Porto, Cristina Ribeiro: Temporal Inference with a Point Based Interval Algebra. ECAI 1992: 374-378
- [c14]
- 1991
- [c13]Gabriel David, António Porto: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. EPIA 1991: 135-150
- [c12]Cristina Ribeiro, António Porto: Maximal Intervals: An Approach to Temporal Reasoning. EPIA 1991: 180-194
- [c11]
- [c10]
- [c9]Luís Monteiro, António Porto: Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming 1991: 163-173
- [e1]Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Lecture Notes in Computer Science 541, Springer 1991, ISBN 3-540-54535-2
- 1990
- [c8]Luís Monteiro, António Porto: A Transformational View of Inheritance in Logic Programming. ICLP 1990: 481-494
- [c7]Gabriel David, António Porto: Generic Browsing: A Case for Contextual Logic Programming. LPE 1990: 68-73
1980 – 1989
- 1989
- [c6]
- 1984
- [p1]António Porto: Epilog: A Language for Extended Programming in Logic. Implementations of Prolog 1984: 268-278
- [c5]
- [c4]António Porto, Miguel Filgueiras: Natural Language Semantics: A Logic Programming Approach. SLP 1984: 228-232
- 1982
- [c3]
- [c2]Luís Moniz Pereira, António Porto: A Prolog Implementation of a Large System on a Small Machine. ICLP 1982: 225-229
- 1980
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:03 CET by the dblp team