Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Translating Contextual Logic to Horn Clause Logic > Visualizar Publicações Relacionadas

Publicações

Publicações com os mesmos autores da publicação Translating Contextual Logic to Horn Clause Logic

Agrupar Por: Ordenação:

Tese

Semantics of Multiple Inheritance with Exceptions in Hierarchically Structured Logic Theories
Gabriel de Sousa Torcato David (Autor) (FEUP); António Porto (Orientador Técnico) (Outra); Sem Nome (Orientador Técnico) (FEUP)
1994

Artigo em Livro de Atas de Conferência Internacional

Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1991
Semantics of Inheritance in Hierarchic Systems
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1991
Semantics of Inheritance in a Class/Property System
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1992
Rule-based Inheritance in Structured Logic Programming
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1992
A Taxonomic Knowledge Base
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1993
A Logical Approach to Inheritance Reasoning
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1993

Registos 1 a 7 de 7

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-09-04 às 21:41:39 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias