António Beça Gonçalves Porto


AuthID: R-000-1Y4

Publicações Confirmadas: 36



21
TÍTULO: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1991, FONTE: EPIA, VOLUME: 541 LNAI
INDEXADO EM: Scopus DBLP CrossRef
22
TÍTULO: SEMANTICS OF PROPERTY INHERITANCE IN A HIERARCHICAL SYSTEM WITH EXPLICIT NEGATION
AUTORES: DAVID, G ; PORTO, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS
23
TÍTULO: Syntactic and Semantic Inheritance in Logic Programming
AUTORES: Luís Monteiro; António Porto ;
PUBLICAÇÃO: 1991, FONTE: Declarative Programming
INDEXADO EM: DBLP
24
TÍTULO: A Transformational View of Inheritance in Logic Programming
AUTORES: Luís Monteiro; António Porto ;
PUBLICAÇÃO: 1990, FONTE: ICLP
INDEXADO EM: DBLP
25
TÍTULO: Generic Browsing: A Case for Contextual Logic Programming
AUTORES: Gabriel David ; António Porto ;
PUBLICAÇÃO: 1990, FONTE: LPE
INDEXADO EM: DBLP
26
TÍTULO: Contextual Logic Programming
AUTORES: Luís Monteiro; António Porto ;
PUBLICAÇÃO: 1989, FONTE: ICLP
INDEXADO EM: DBLP
27
TÍTULO: Epilog: A Language for Extended Programming in Logic
AUTORES: António Porto ;
PUBLICAÇÃO: 1984, FONTE: Implementations of Prolog
INDEXADO EM: DBLP
NO MEU: DBLP
28
TÍTULO: Natural Language Semantics: A Logic Programming Approach
AUTORES: António Porto ; Miguel Filgueiras;
PUBLICAÇÃO: 1984, FONTE: SLP
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
29
TÍTULO: TWO-LEVEL PROLOG.
AUTORES: Antonio Porto ;
PUBLICAÇÃO: 1984, FONTE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
30
TÍTULO: KBO1: A Knowledge Based Garden Store Assistant
AUTORES: Adrian Walker; António Porto ;
PUBLICAÇÃO: 1983, FONTE: Logic Programming Workshop
INDEXADO EM: DBLP
Página 3 de 4. Total de resultados: 36.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service