António Porto

According to our database, António Porto authored at least 28 papers between 1980 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A structured alternative to Prolog with simple compositional semantics.

António Porto

Theory Pract. Log. Program., 2011

2009

High-Level Interaction with Relational Databases in Logic Programming.

António Porto

Proceedings of the Practical Aspects of Declarative Languages, 2009

An Alternative High-Level Approach to Interaction with Databases.

António Porto

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

2003

An Integrated Information System Powered by Prolog.

António Porto

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Structural Abstraction and Application in Logic Programming.

António Porto

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

1998

Entailment-Based Actions for Coordination.

Luís Monteiro, António Porto

Theor. Comput. Sci., 1998

1994

Abduction in Temporal Reasoning.

Cristina Ribeiro, António Porto

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Inheritance in a Hierarchy of Theories.

Gabriel David, António Porto

Proceedings of the Progress in Artificial Intelligence, 1993

Representation and Inference with Consistent Temporal Propositions.

Cristina Ribeiro, António Porto

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992

The AbstrAct Scheme for Concurrent Programming.

António Porto, Paulo Rosado

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Temporal Inference with a Point Based Interval Algebra.

António Porto, Cristina Ribeiro

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Syntactic and Semantic Inheritance in Logic Programming.

Luís Monteiro, António Porto

Proceedings of the Declarative Programming, 1991

Reasoning with Maximal Time Intervals.

Cristina Ribeiro, António Porto

Proceedings of the Processing Declarative Knowledge, 1991

Logic Programming Environments.

António Porto

Proceedings of the Logic Programming, 1991

Maximal Intervals: An Approach to Temporal Reasoning.

Cristina Ribeiro, António Porto

Proceedings of the EPIA 91, 1991

Semantics of Property Inheritance in a Hierarchic System with Explicit Negation.

Gabriel David, António Porto

Proceedings of the EPIA 91, 1991

1990

Generic Browsing: A Case for Contextual Logic Programming.

Gabriel David, António Porto

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

A Transformational View of Inheritance in Logic Programming.

Luís Monteiro, António Porto

Proceedings of the Logic Programming, 1990

1989

Contextual Logic Programming.

Luís Monteiro, António Porto

Proceedings of the Logic Programming, 1989

1984

Natural Language Semantics: A Logic Programming Approach.

António Porto, Miguel Filgueiras

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Two-Level Prolog.

António Porto

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Epilog: A Language for Extended Programming in Logic.

António Porto

Proceedings of the Implementations of Prolog. , 1984

1983

KBO1: A Knowledge Based Garden Store Assistant.

Adrian Walker, António Porto

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

Logical Action Systems.

António Porto

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Epilog: A Language for Extended Programming in Logic.

António Porto

Proceedings of the First International Logic Programming Conference, 1982

A Prolog Implementation of a Large System on a Small Machine.

Luís Moniz Pereira, António Porto

Proceedings of the First International Logic Programming Conference, 1982

1980

Ackermann and the superpowers.

António Porto, Armando B. Matos

SIGACT News, 1980

Selective Backtracking for Logic Programs.

Luís Moniz Pereira, António Porto

Proceedings of the 5th Conference on Automated Deduction, 1980