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
1851989
Selective backtracking
LM Pereira, A Porto
Universidade Nova de Lisboa, Departamento de, 1981
105*1981
Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000: Proceedings
A Porto, GC Roman
Springer, 2000
74*2000
A transformational view of inheritance in logic programming
L Monteiro, A Porto
Logic programming, 481-494, 1990
481990
Epilog: A Language for Extended Programming in Logic.
A Porto
ICLP, 31-37, 1982
451982
A language for contextual logic programming
L Monteiro, A Porto
Logic programming languages, 115-147, 1993
401993
Intelligent backtracking and sidetracking in Horn clause programs-the theory
Universidade Nova de Lisboa. Centro de Informatica, LM Pereira, A Porto
381979
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
192021
Natural Language Semantics: A Logic Programming Approach
A Porto, M Filgueiras
Proceedings of the 1984 International Symposium on Logic Programming, 228-232, 1984
17*1984
Performance of Hevea brasiliensis under drought conditions on osmoregulation and antioxidant activity through evaluation of vacuolar invertase and reducing sugars
JO dos Santos, LM de Oliveira, V Tadeu, G Lopes, T Souza, A Mota
Plant Science Today., 105, 2021
152021
An interpreter of logic programs using selective backtracking
LM Pereira, A Porto
Department de Informática, Univ., 1979
151979
Syntactic and semantic inheritance in logic programming
L Monteiro, A Porto
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992
121992
Selective backtracking in" Logic Programming",(K. Clark, S. Tarnlund eds.)
LM Pereira, A Porto
Academic Press, 1982
101982
A Prolog Implementation of a Large System on a Small Machine.
LM Pereira, A Porto
ICLP, 225-229, 1982
101982
Intelligent backtracking and sidetracking in Horn clause programs-the implementation
LM Pereira, A Porto
Departamento de Informática, Universidade Nova de Lisboa, Portugal, 1979
101979
Safety Assessment of the CP4 EPSPS and NPTII Proteins in Eucalyptus
D Avisar, S Azulay, L Bombonato, D Carvalho, H Dallapicolla, C de Souza, ...
GM Crops & Food 14 (1), 1-14, 2023
92023
Expression analysis of transcription factors in sugarcane during cold stress
SU Rehman, K Muhammad, E Novaes, Y Que, A Din, M Islam, ACM Porto, ...
Brazilian Journal of Biology 83, e242603, 2021
92021
TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL)
A Porto, VT Vasconcelos
Coordination Programming: Mechanisms, Models and Semantics, 65-97, 1996
91996
Evaluation of genetic parameters and clonal selection of Eucalyptus in the Cerrado region
RS Oliveira, CVG Ribeiro, DF Neres, ACM Porto, D Ribeiro, L Siqueira, ...
Crop Breeding and Applied Biotechnology 20 (3), e29982031, 2020
82020
The AbstrAct scheme for concurrent programming
A Porto, P Rosado
International Workshop on Extensions of Logic Programming, 216-241, 1992
81992
The system can't perform the operation now. Try again later.
Articles 1–20