Selective Backtracking for Logic Programs. - Luís Moniz Pereira; António Porto (CADE, 1980)

Ackermann and the superpowers. - António Porto; Armando B. Matos (SIGACT News, 1980)

A Prolog Implementation of a Large System on a Small Machine. - Luís Moniz Pereira; António Porto (ICLP, 1982)

Epilog: A Language for Extended Programming in Logic. - António Porto (ICLP, 1982)

Logical Action Systems. - António Porto (Logic Programming Workshop, 1983)

KBO1: A Knowledge Based Garden Store Assistant. - Adrian Walker; António Porto (Logic Programming Workshop, 1983)

Epilog: A Language for Extended Programming in Logic. - António Porto (Implementations of Prolog, 1984)

Two-Level Prolog. - António Porto (FGCS, 1984)

Natural Language Semantics: A Logic Programming Approach. - António Porto; Miguel Filgueiras (SLP, 1984)

Contextual Logic Programming. - Luís Monteiro; António Porto (ICLP, 1989)

A Transformational View of Inheritance in Logic Programming. - Luís Monteiro; António Porto (ICLP, 1990)

Generic Browsing: A Case for Contextual Logic Programming. - Gabriel David; António Porto (LPE, 1990)

Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. - Gabriel David; António Porto (EPIA, 1991)

Maximal Intervals: An Approach to Temporal Reasoning. - Cristina Ribeiro 001; António Porto (EPIA, 1991)

Logic Programming Environments. - António Porto (ICLP, 1991)

Reasoning with Maximal Time Intervals. - Cristina Ribeiro 001; António Porto (PDK, 1991)

Syntactic and Semantic Inheritance in Logic Programming. - Luís Monteiro; António Porto (Declarative Programming, 1991)

Temporal Inference with a Point Based Interval Algebra. - António Porto; Cristina Ribeiro 001 (ECAI, 1992)

The AbstrAct Scheme for Concurrent Programming. - António Porto; Paulo Rosado (ELP, 1992)

Representation and Inference with Consistent Temporal Propositions. - Cristina Ribeiro 001; António Porto (ELP, 1993)

Inheritance in a Hierarchy of Theories. - Gabriel David; António Porto (EPIA, 1993)

Abduction in Temporal Reasoning. - Cristina Ribeiro 001; António Porto (ICTL, 1994)

Entailment-Based Actions for Coordination. - Luís Monteiro; António Porto (Theor. Comput. Sci., 1998)

Structural Abstraction and Application in Logic Programming. - António Porto (FLOPS, 2002)

An Integrated Information System Powered by Prolog. - António Porto (PADL, 2003)

An Alternative High-Level Approach to Interaction with Databases. - António Porto (INAP, 2009)

High-Level Interaction with Relational Databases in Logic Programming. - António Porto (PADL, 2009)

A structured alternative to Prolog with simple compositional semantics. - António Porto (Theory Pract. Log. Program., 2011)