Seguir
António Porto
António Porto
Dept. Computer Science, University of Porto
E-mail confirmado em dcc.fc.up.pt
Título
Citado por
Citado por
Ano
Contextual logic programming
L Monteiro, A Porto
6th ALP Intl. Conf. on Logic Programming, 1989
1901989
Selective backtracking
LM Pereira, A Porto
Universidade Nova de Lisboa, Departamento de, 1981
103*1981
Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000: Proceedings
A Porto, GC Roman
Springer, 2000
80*2000
A transformational view of inheritance in logic programming
L Monteiro, A Porto
Logic programming, 481-494, 1990
491990
Epilog: A Language for Extended Programming in Logic.
A Porto
ICLP, 31-37, 1982
441982
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
361979
Natural Language Semantics: A Logic Programming Approach
A Porto, M Filgueiras
Proceedings of the 1984 International Symposium on Logic Programming, 228-232, 1984
19*1984
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
172021
Performance of Hevea brasiliensis under drought conditions on osmoregulation and antioxidant activity through evaluation of vacuolar invertase and reducing sugars
J Santos, LE Oliveira, VT Coelho, G Lopes, T Souza, AC Porto, J Lira, ...
Plant Science Today 8 (2), 312-323, 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
111982
A Prolog Implementation of a Large System on a Small Machine.
LM Pereira, A Porto
ICLP, 225-229, 1982
111982
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
TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL)
A Porto, VT Vasconcelos
Coordination Programming: Mechanisms, Models and Semantics, 65-97, 1996
91996
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
82021
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20