António Porto

Publication Activity (10 Years)

Years Active: 1980-2011
Publications (10 Years): 0

Publications

António Porto
A structured alternative to Prolog with simple compositional semantics. Theory Pract. Log. Program. 11 (4-5) (2011)
António Porto
A structured alternative to Prolog with simple compositional semantics CoRR (2011)
António Porto
An Alternative High-Level Approach to Interaction with Databases. INAP (2009)
António Porto
High-Level Interaction with Relational Databases in Logic Programming. PADL (2009)
António Porto
An Integrated Information System Powered by Prolog. PADL (2003)
António Porto
Structural Abstraction and Application in Logic Programming. FLOPS (2002)
Luís Monteiro, António Porto
Entailment-Based Actions for Coordination. Theor. Comput. Sci. 192 (2) (1998)
Cristina Ribeiro, António Porto
Abduction in Temporal Reasoning. ICTL (1994)
Gabriel David, António Porto
Inheritance in a Hierarchy of Theories. EPIA (1993)
Cristina Ribeiro, António Porto
Representation and Inference with Consistent Temporal Propositions. ELP (1993)
António Porto, Cristina Ribeiro
Temporal Inference with a Point Based Interval Algebra. ECAI (1992)
António Porto, Paulo Rosado
The AbstrAct Scheme for Concurrent Programming. ELP (1992)
Gabriel David, António Porto
Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. EPIA (1991)
Luís Monteiro, António Porto
Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming (1991)
Cristina Ribeiro, António Porto
Maximal Intervals: An Approach to Temporal Reasoning. EPIA (1991)
António Porto
Logic Programming Environments. ICLP (1991)
Cristina Ribeiro, António Porto
Reasoning with Maximal Time Intervals. PDK (1991)
Gabriel David, António Porto
Generic Browsing: A Case for Contextual Logic Programming. LPE (1990)
Luís Monteiro, António Porto
A Transformational View of Inheritance in Logic Programming. ICLP (1990)
Luís Monteiro, António Porto
Contextual Logic Programming. ICLP (1989)
António Porto
Two-Level Prolog. FGCS (1984)
António Porto, Miguel Filgueiras
Natural Language Semantics: A Logic Programming Approach. SLP (1984)
Adrian Walker, António Porto
KBO1: A Knowledge Based Garden Store Assistant. Logic Programming Workshop (1983)
António Porto
Logical Action Systems. Logic Programming Workshop (1983)
Luís Moniz Pereira, António Porto
A Prolog Implementation of a Large System on a Small Machine. ICLP (1982)
António Porto
Epilog: A Language for Extended Programming in Logic. ICLP (1982)
António Porto, Armando B. Matos
Ackermann and the superpowers. SIGACT News 12 (3) (1980)
Luís Moniz Pereira, António Porto
Selective Backtracking for Logic Programs. CADE (1980)