António Porto

33 papers A 2B 8C 4Misc 5Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2011 J jnl
A structured alternative to Prolog with simple compositional semantics
CoRR
António Porto
2011 J jnl
A structured alternative to Prolog with simple compositional semantics.
Theory Pract. Log. Program.
António Porto
2009 — conf
An Alternative High-Level Approach to Interaction with Databases.
INAP
António Porto
2009 C conf
High-Level Interaction with Relational Databases in Logic Programming.
PADL
António Porto
2009 C ed.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal
PPDP
António Porto, Francisco Javier López-Fraguas
2003 C conf
An Integrated Information System Powered by Prolog.
PADL
António Porto
2002 Misc conf
Structural Abstraction and Application in Logic Programming.
FLOPS
António Porto
2000 C ed.
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings
COORDINATION
António Porto, Gruia-Catalin Roman
1998 J jnl
Entailment-Based Actions for Coordination.
Theor. Comput. Sci.
Luís Monteiro, António Porto
1994 — conf
Abduction in Temporal Reasoning.
ICTL
Cristina Ribeiro, António Porto
1993 Misc conf
Inheritance in a Hierarchy of Theories.
EPIA
Gabriel David, António Porto
1993 — conf
Representation and Inference with Consistent Temporal Propositions.
ELP
Cristina Ribeiro, António Porto
1992 A conf
Temporal Inference with a Point Based Interval Algebra.
ECAI
António Porto, Cristina Ribeiro
1992 — conf
The AbstrAct Scheme for Concurrent Programming.
ELP
António Porto, Paulo Rosado
1991 Misc ed.
EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings
EPIA
Pedro Barahona, Luís Moniz Pereira, António Porto
1991 B conf
Logic Programming Environments.
ICLP
António Porto
1991 Misc conf
Maximal Intervals: An Approach to Temporal Reasoning.
EPIA
Cristina Ribeiro, António Porto
1991 — conf
Reasoning with Maximal Time Intervals.
PDK
Cristina Ribeiro, António Porto
1991 Misc conf
Semantics of Property Inheritance in a Hierarchic System with Explicit Negation.
EPIA
Gabriel David, António Porto
1991 — conf
Syntactic and Semantic Inheritance in Logic Programming.
Declarative Programming
Luís Monteiro, António Porto
1990 B conf
A Transformational View of Inheritance in Logic Programming.
ICLP
Luís Monteiro, António Porto
1990 — conf
Generic Browsing: A Case for Contextual Logic Programming.
LPE
Gabriel David, António Porto
1989 B conf
Contextual Logic Programming.
ICLP
Luís Monteiro, António Porto
1984 — ch.
Epilog: A Language for Extended Programming in Logic.
Implementations of Prolog
António Porto
1984 — conf
Natural Language Semantics: A Logic Programming Approach.
SLP
António Porto, Miguel Filgueiras
1984 — conf
Two-Level Prolog.
FGCS
António Porto
1983 B conf
KBO1: A Knowledge Based Garden Store Assistant.
Logic Programming Workshop
Adrian Walker, António Porto
1983 B ed.
Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras
1983 B conf
Logical Action Systems.
Logic Programming Workshop
António Porto
1982 B conf
A Prolog Implementation of a Large System on a Small Machine.
ICLP
Luís Moniz Pereira, António Porto
1982 B conf
Epilog: A Language for Extended Programming in Logic.
ICLP
António Porto
1980 J jnl
Ackermann and the superpowers.
SIGACT News
António Porto, Armando B. Matos
1980 A conf
Selective Backtracking for Logic Programs.
CADE
Luís Moniz Pereira, António Porto