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
1881989
Selective backtracking
LM Pereira, A Porto
Universidade Nova de Lisboa, Departamento de, 1981
100*1981
Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000: Proceedings
A Porto, GC Roman
Springer, 2000
78*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
An interpreter of logic programs using selective backtracking
LM Pereira, A Porto
Department de Informática, Univ., 1979
141979
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
122021
Syntactic and semantic inheritance in logic programming
L Monteiro, A Porto
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992
121992
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
112021
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
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, e29982031, 2020
82020
The AbstrAct scheme for concurrent programming
A Porto, P Rosado
International Workshop on Extensions of Logic Programming, 216-241, 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
Contextual logic programming
A Porto, L Monteiro
Proceedings 6th Intl. Conference on Logic Programming, Lisbon, Portugal, 19-23, 1989
71989
The system can't perform the operation now. Try again later.
Articles 1–20