Você está em: Início > Publicações > Visualização > A Logical Approach to Inheritance Reasoning

Mapa das Instalações

Publicação

Publicações

A Logical Approach to Inheritance Reasoning

Título

Tipo

Artigo em Livro de Atas de Conferência Internacional

Data

1993

Título

A Logical Approach to Inheritance Reasoning

Tipo

Artigo em Livro de Atas de Conferência Internacional

Ano

1993

Autores

Gabriel David

(Autor)

FEUP

António Porto

(Autor)

Outra

A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID

Ata de Conferência Internacional

Título: Compulog Net Workshop on Knowledge Representation and Reasoning Pesquisar Publicações da Ata de Conferência

Compulog Net Workshop on Knowledge Representation and Reasoning

Universidade Nova de Lisboa

Outras Informações

Idioma: Português

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

Translating Contextual Logic to Horn Clause Logic (1990)
Relatório Técnico
Gabriel David; António Porto

Semantics of Property Inheritance in a Hierarchic System with Explicit Negation (1991)
Artigo em Livro de Atas de Conferência Internacional
Gabriel David; António Porto

Semantics of Inheritance in Hierarchic Systems (1991)
Artigo em Livro de Atas de Conferência Internacional
Gabriel David; António Porto

Semantics of Inheritance in a Class/Property System (1992)
Artigo em Livro de Atas de Conferência Internacional
Gabriel David; António Porto