Gabriel de Sousa Torcato David


AuthID: R-000-5FR

Confirmed Publications: 44



41
TITLE: Inheritance in a Hierarchy of Theories
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
42
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: ORCID | CIÊNCIAVITAE
43
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 | CIÊNCIAVITAE
44
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: ORCID | CIÊNCIAVITAE
Page 5 of 5. Total results: 44.

A place for researchers and their institutions

Useful Links

Get Help

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