 | 2009 |
|---|
| 26 |       | António Porto,
Francisco Javier López-Fraguas:
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal
ACM 2009 |
| 25 |  | António Porto:
High-Level Interaction with Relational Databases in Logic Programming.
PADL 2009: 152-167 |
| 2003 |
|---|
| 24 | | António Porto:
An Integrated Information System Powered by Prolog.
PADL 2003: 92-109 |
| 2002 |
|---|
| 23 | | Antó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 |
|---|
| 21 | | Luí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 |
