Get started
Author

António Porto

Observed names: ANTÓNIO PORTO, António G. Porto, Porto, António
ORCID: 0000-0002-5747-5512
Observed ORCID: 0000-0002-5747-5512
OpenAlex ID: A5019626357
Contextual Logic Programming.
1989 · Luís Monteiro, António Porto · 107
Proceedings of the 5th Portuguese Conference on Artificial Intelligence
1991 · Pedro Barahona, Luı́s Moniz Pereira, et al. · Portuguese Conference on Artificial Intelligence · 31
A transformational view of inheritance in logic programming
1990 · Luís Monteiro, António Porto · 27
Epilog: A Language for Extended Programming in Logic.
1982 · António Porto · 21
Coordination Languages and Models
2000 · Porto, António, Roman, Gruia-Catalin · Lecture notes in computer science · 20
Selective backtracking for logic programs
1980 · Luís Moniz Pereira, António Porto · Lecture notes in computer science · 18
Natural Language Semantics: A Logic Programming Approach.
1984 · António Porto, Miguel Filgueiras · SLP · 11
Syntactic and Semantic Inheritance in Logic Programming
1992 · Luís Monteiro, António Porto · Workshops in computing · 10
A Prolog Implementation of a Large System on a Small Machine.
1982 · Luı́s Moniz Pereira, António Porto · 8
Temporal inference with a point-based interval algebra
1992 · António Porto, Cristina Ribeiro · European Conference on Artificial Intelligence · 5
Logical Action Systems.
1983 · António Porto · 5
An Integrated Information System Powered by Prolog
2002 · António Porto · Lecture notes in computer science · 4
Truth and Action Osmosis (the Tao Computation Model)
1996 · ANTÓNIO PORTO, VASCO T. VASCONCELOS · IMPERIAL COLLEGE PRESS eBooks · 4
The abstract scheme for concurrent programming
1993 · António Porto, Paulo Rosado · Lecture notes in computer science · 4
Abduction in temporal reasoning
2005 · Cristina Ribeiro, António Porto · Springer eBooks · 3
Proceedings of the 4th International Conference on Coordination Languages and Models
2000 · António Porto, Gruia-Catalin Roman · 3
KBO1: A Knowledge Based Garden Store Assistant.
1983 · Adrian Walker, António Porto · 3
Ackermann and the superpowers
1980 · António G. Porto, Armando B. Matos · ACM SIGACT News · 3
PDF
A structured alternative to Prolog with simple compositional semantics
2011 · ANTÓNIO PORTO · Theory and Practice of Logic Programming · 2
PDF
Structural Abstraction and Application in Logic Programming
2002 · António Porto · Lecture notes in computer science · 2
Entailment-based actions for coordination
1998 · Luis Monteiro, António Porto · Theoretical Computer Science · 2
PDF
Maximal intervals: An approach to temporal reasoning
1991 · Cristina Ribeiro, António Porto · Lecture notes in computer science · 2
Selective Bachtracking for Logic Programs
1980 · Luı́s Moniz Pereira, António Porto · Conference on Automated Deduction · 2
High-Level Interaction with Relational Databases in Logic Programming
2008 · António Porto · Lecture notes in computer science · 1
Inheritance in a hierarchy of theories
1993 · Gabriel David, António Porto · Lecture notes in computer science · 1
Works count: 34
Citation count: 301
H-index: 8
I10-index: 8
Year
Topic
Type