dblp.uni-trier.dewww.uni-trier.de

António Porto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
25EEAntónio Porto: High-Level Interaction with Relational Databases in Logic Programming. PADL 2009: 152-167
2003
24EEAntónio Porto: An Integrated Information System Powered by Prolog. PADL 2003: 92-109
2002
23EEAntónio Porto: Structural Abstraction and Application in Logic Programming. FLOPS 2002: 275-289
2000
22 António Porto, Gruia-Catalin Roman: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings Springer 2000
1998
21EELuís Monteiro, António Porto: Entailment-Based Actions for Coordination. Theor. Comput. Sci. 192(2): 259-286 (1998)
1994
20 Cristina Ribeiro, António Porto: Abduction in Temporal Reasoning. ICTL 1994: 349-364
1993
19 Cristina Ribeiro, António Porto: Representation and Inference with Consistent Temporal Propositions. ELP 1993: 322-332
18 Gabriel David, António Porto: Inheritance in a Hierarchy of Theories. EPIA 1993: 77-92
1992
17 António Porto, Cristina Ribeiro: Temporal Inference with a Point Based Interval Algebra. ECAI 1992: 374-378
16 António Porto, Paulo Rosado: The AbstrAct Scheme for Concurrent Programming. ELP 1992: 216-241
1991
15 Pedro Barahona, Luís Moniz Pereira, António Porto: EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings Springer 1991
14 Luís Monteiro, António Porto: Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming 1991: 163-173
13 Gabriel David, António Porto: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. EPIA 1991: 135-150
12 Cristina Ribeiro, António Porto: Maximal Intervals: An Approach to Temporal Reasoning. EPIA 1991: 180-194
11 António Porto: Logic Programming Environments. ICLP 1991: 946
10 Cristina Ribeiro, António Porto: Reasoning with Maximal Time Intervals. PDK 1991: 171-178
1990
9 Luís Monteiro, António Porto: A Transformational View of Inheritance in Logic Programming. ICLP 1990: 481-494
8 Gabriel David, António Porto: Generic Browsing: A Case for Contextual Logic Programming. LPE 1990: 68-73
1989
7 Luís Monteiro, António Porto: Contextual Logic Programming. ICLP 1989: 284-299
1984
6 António Porto: Two-Level Prolog. FGCS 1984: 356-360
5 António Porto, Miguel Filgueiras: Natural Language Semantics: A Logic Programming Approach. SLP 1984: 228-232
4 António Porto: Epilog: A Language for Extended Programming in Logic. Implementations of Prolog 1984: 268-278
1982
3 Luís Moniz Pereira, António Porto: A Prolog Implementation of a Large System on a Small Machine. ICLP 1982: 225-229
2 António Porto: Epilog: A Language for Extended Programming in Logic. ICLP 1982: 31-37
1980
1 Luís Moniz Pereira, António Porto: Selective Bachtracking for Logic Programs. CADE 1980: 306-317

Coauthor Index

1Pedro Barahona [15]
2Gabriel David [8] [13] [18]
3Miguel Filgueiras [5]
4Luís Monteiro [7] [9] [14] [21]
5Luís Moniz Pereira (Luíz Moniz Pereira) [1] [3] [15]
6Cristina Ribeiro [10] [12] [17] [19] [20]
7Gruia-Catalin Roman [22]
8Paulo Rosado [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)