Publications

Publications by HumanISE

1993

Strategies and Implementation of Ray-Tracing with Increasing Realism

Authors
Leitao, JM; Sousa, AA; Costa, AC; Ferreira, FN;

Publication
Beiträge zur Graphischen Datenverarbeitung - Graphics Modeling and Visualization in Science and Technology

Abstract

1993

Inheritance in a Hierarchy of Theories

Authors
David, G; Porto, A;

Publication
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Abstract
This paper1 contains a proposal for a knowledge representation formalism based on a taxonomy of theories. It aims at clarifying the notions of inheritance and dependency among properties and classes, which are mixed together in the “inheritance networks” formalism, while also providing more expressiveness. A model-theoretic semantics in terms of sets of individuals is presented, which is parametric on the characterization of specificity. The case most thoroughly presented is rule inheritance which builds on the assumption that only facts have the force to impose overriding. A double denotation for classes, corresponding to two nested sets, is the key for interpreting defaults and exceptions. The problem of ambiguity propagation in the resulting system is addressed in the context of a discussion of the relationship between it and inheritance nets. © Springer-Verlag Berlin Heidelberg 1993.

CloseRead Abstract

1993

Representation and Inference with Consistent Temporal Propositions

Authors
Ribeiro, C; Porto, A;

Publication
Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings

Abstract

1992

Strategies and Implementation of Ray-Tracing with Increasing Realism

Authors
Leitão, JM; de Sousa, AA; Costa, AC; Ferreira, FN;

Publication
Graphics Modeling and Visualization in Science and Technology, Selected Papers of the Workshop on Graphics Modeling and Visualization in Scientific, Engineering and Technical Applications, Darmstadt, Germany, April 13-14, 1992

Abstract

1992

CONFERENCE REPORT ON PDK91 - INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE

Authors
RIBEIRO, C;

Publication
SIGPLAN NOTICES

Abstract

1992

Temporal Inference with a Point Based Interval Algebra

Authors
Porto, A; Ribeiro, C;

Publication
ECAI

Abstract