ajuda

Você está em: Início > Publicações > Visualização > Translating Contextual Logic to Horn Clause Logic

Mapa das Instalações

Publicação

Translating Contextual Logic to Horn Clause Logic

Título

Tipo

Relatório Técnico

Data

1990

Título

Translating Contextual Logic to Horn Clause Logic

Tipo

Relatório Técnico

Ano

1990

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

Instituições Associadas

UNL - 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

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

Rule-based Inheritance in Structured Logic Programming (1992)
Artigo em Livro de Atas de Conferência Internacional
Gabriel David; António Porto