Contextual logic programming L Monteiro, A Porto 6th ALP Intl. Conf. on Logic Programming, 1989 | 189 | 1989 |
Selective backtracking LM Pereira, A Porto Universidade Nova de Lisboa, Departamento de, 1981 | 102* | 1981 |
Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000: Proceedings A Porto, GC Roman Springer, 2000 | 79* | 2000 |
A transformational view of inheritance in logic programming L Monteiro, A Porto Logic programming, 481-494, 1990 | 49 | 1990 |
Epilog: A Language for Extended Programming in Logic. A Porto ICLP, 31-37, 1982 | 44 | 1982 |
A language for contextual logic programming L Monteiro, A Porto Logic programming languages, 115-147, 1993 | 40 | 1993 |
Intelligent backtracking and sidetracking in Horn clause programs-the theory Universidade Nova de Lisboa. Centro de Informatica, LM Pereira, A Porto | 36 | 1979 |
Natural Language Semantics: A Logic Programming Approach A Porto, M Filgueiras Proceedings of the 1984 International Symposium on Logic Programming, 228-232, 1984 | 18* | 1984 |
An interpreter of logic programs using selective backtracking LM Pereira, A Porto Department de Informática, Univ., 1979 | 15 | 1979 |
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 | 14 | 2021 |
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 | 13 | 2021 |
Syntactic and semantic inheritance in logic programming L Monteiro, A Porto Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on …, 1992 | 12 | 1992 |
Selective backtracking in" Logic Programming",(K. Clark, S. Tarnlund eds.) LM Pereira, A Porto Academic Press, 1982 | 11 | 1982 |
A Prolog Implementation of a Large System on a Small Machine. LM Pereira, A Porto ICLP, 225-229, 1982 | 11 | 1982 |
Intelligent backtracking and sidetracking in Horn clause programs-the implementation LM Pereira, A Porto Departamento de Informática, Universidade Nova de Lisboa, Portugal, 1979 | 10 | 1979 |
TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL) A Porto, VT Vasconcelos Coordination Programming: Mechanisms, Models and Semantics, 65-97, 1996 | 9 | 1996 |
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 | 8 | 2020 |
The AbstrAct scheme for concurrent programming A Porto, P Rosado International Workshop on Extensions of Logic Programming, 216-241, 1992 | 8 | 1992 |
Contextual logic programming A Porto, L Monteiro Proceedings 6th Intl. Conference on Logic Programming, Lisbon, Portugal, 19-23, 1989 | 8 | 1989 |
A framework for deducing useful answers to queries A Porto Technical Report DI/UNL-16/88, Universidade Nova de Lisboa, Lisbon, Portugal, 1988 | 8 | 1988 |