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

Publications

Translating Contextual Logic to Horn Clause Logic

Title
Translating Contextual Logic to Horn Clause Logic
Type
Technical Report
Year
1990
Authors
Gabriel David
(Author)
FEUP
View Personal Page Send message Search for Participant Publications View Authenticus page View ORCID page
António Porto
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Associated Institutions
UNL - Universidade Nova de Lisboa
Other information
Language: Portuguese
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Semantics of Multiple Inheritance with Exceptions in Hierarchically Structured Logic Theories (1994)
Thesis
Gabriel de Sousa Torcato David; António Porto; Sem Nome
Semantics of Property Inheritance in a Hierarchic System with Explicit Negation (1991)
Article in International Conference Proceedings Book
Gabriel David; António Porto
Semantics of Inheritance in Hierarchic Systems (1991)
Article in International Conference Proceedings Book
Gabriel David; António Porto
Semantics of Inheritance in a Class/Property System (1992)
Article in International Conference Proceedings Book
Gabriel David; António Porto
Rule-based Inheritance in Structured Logic Programming (1992)
Article in International Conference Proceedings Book
Gabriel David; António Porto

See all (7)

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-09 at 11:56:54 | Privacy Policy | Personal Data Protection Policy | Whistleblowing