António Beça Gonçalves Porto


AuthID: R-000-1Y4

Confirmed Publications: 36



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service