21
TITLE: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings, VOLUME: 541
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
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
IN MY: ORCID
23
TITLE: Syntactic and Semantic Inheritance in Logic Programming
AUTHORS: Luís Monteiro; António Porto ;
PUBLISHED: 1991, SOURCE: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991
INDEXED IN: DBLP
IN MY: DBLP
24
TITLE: A Transformational View of Inheritance in Logic Programming
AUTHORS: Luís Monteiro; António Porto ;
PUBLISHED: 1990, SOURCE: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990
INDEXED IN: DBLP
IN MY: DBLP
25
TITLE: Generic Browsing: A Case for Contextual Logic Programming
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: Contextual Logic Programming
AUTHORS: Luís Monteiro; António Porto ;
PUBLISHED: 1989, SOURCE: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
INDEXED IN: DBLP
IN MY: 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 LOCIC PROGRAMMING APPROACH.
AUTHORS: Antonio Porto ; Miguel Filgueiras;
PUBLISHED: 1984, SOURCE: 1984 International Symposium on Logic Programming. in Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
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 PDF
AUTHORS: Adrian Walker; António Porto ;
PUBLISHED: 1983, SOURCE: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings.
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 4. Total results: 36.