Follow
António Porto
António Porto
Dept. Computer Science, University of Porto
Verified email at dcc.fc.up.pt
Title
Cited by
Cited by
Year
Contextual logic programming
L Monteiro, A Porto
6th ALP Intl. Conf. on Logic Programming, 1989
1821989
Selective backtracking
LM Pereira, A Porto
Universidade Nova de Lisboa, Departamento de, 1981
791981
Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000: Proceedings
A Porto, GC Roman
Springer, 2000
77*2000
A transformational view of inheritance in logic programming
L Monteiro, A Porto
Logic programming, 481-494, 1990
471990
Epilog: A Language for Extended Programming in Logic.
A Porto
ICLP, 31-37, 1982
461982
A language for contextual logic programming
L Monteiro, A Porto
Logic programming languages, 115-147, 1993
381993
Selective backtracking for logic programs
LM Pereira, A Porto
International Conference on Automated Deduction, 306-317, 1980
331980
Intelligent backtracking and sidetracking in Horn clause programs-the theory
Universidade Nova de Lisboa. Centro de Informatica, LM Pereira, A Porto
311979
Natural Language Semantics: A Logic Programming Approach
A Porto, M Filgueiras
Proceedings of the 1984 International Symposium on Logic Programming, 228-232, 1984
16*1984
An interpreter of logic programs using selective backtracking
LM Pereira, A Porto
Department de Informática, Univ., 1979
131979
Syntactic and semantic inheritance in logic programming
L Monteiro, A Porto
Declarative Programming, Sasbachwalden 1991, 163-173, 1992
111992
TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL)
A Porto, VT Vasconcelos
Coordination Programming: Mechanisms, Models and Semantics, 65-97, 1996
101996
Selective backtracking in" Logic Programming",(K. Clark, S. Tarnlund eds.)
LM Pereira, A Porto
Academic Press, 1982
101982
The AbstrAct scheme for concurrent programming
A Porto, P Rosado
International Workshop on Extensions of Logic Programming, 216-241, 1992
91992
A Prolog Implementation of a Large System on a Small Machine.
LM Pereira, A Porto
ICLP, 225-229, 1982
91982
Temporal inference with a point-based interval algebra
A Porto, C Ribeiro
Proceedings of the 10th European conference on Artificial intelligence, 374-378, 1992
81992
A framework for deducing useful answers to queries
A Porto
Technical Report DI/UNL-16/88, Universidade Nova de Lisboa, Lisbon, Portugal, 1988
81988
KBO1, a Knowledge Based Garden Store Assistant
A Walker, A Porto
IBM Thomas J. Watson Research Center, 1983
81983
All solutions
LM Pereira, A Porto
Logic Programming Newsletter 2, 9-10, 1981
81981
Resistance to Meloidogyne enterolobii and Meloidogyne incognita in Cultivated and Wild Cowpea
R Dareus, ACM Porto, M Bogale, P DiGennaro, CA Chase, EF Rios
HortScience 56 (4), 460-468, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20