Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > Translating Contextual Logic to Horn Clause Logic > View related publications
Publication

Publications

Publications with the same authors as the Translating Contextual Logic to Horn Clause Logic publication

Group by: Order:

Thesis

Semantics of Multiple Inheritance with Exceptions in Hierarchically Structured Logic Theories
Gabriel de Sousa Torcato David (Author) (FEUP); António Porto (Technical adviser) (Other); Sem Nome (Technical adviser) (FEUP)
1994

Article in International Conference Proceedings Book

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

Records 1 to 7 from 7

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-10 at 14:36:34 | Privacy Policy | Personal Data Protection Policy | Whistleblowing