2022
Autores
Maciel, A; Castro, JA; Ribeiro, C; Almada, M; Midão, L;
Publicação
Int. J. Digit. Curation
Abstract
2023
Autores
Castro, JA; Rodrigues, J; Mena Matos, P; M D Sales, C; Ribeiro, C;
Publicação
IASSIST Quarterly
Abstract
2022
Autores
Lopes, CT; Ribeiro, C; Niccolucci, F; Villalón, MP; Freire, N;
Publicação
SIGIR Forum
Abstract
2012
Autores
da Silva, JR; Riberio, C; Lopes, JC;
Publicação
Proceedings of the 9th International Conference on Digital Preservation, iPRES 2012, Toronto, Canada, October 1 - 5, 2012
Abstract
1991
Autores
RIBEIRO, C; PORTO, A;
Publicação
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Abstract
Temporal reasoning is recognized as a key problem in many Al areas, namely knowledge bases, natural language processing and planning. The ability to deal with partial knowledge is particularly important in a temporal domain. We describe a temporal language that accounts for incompletely specified temporal information about propositions. The language is semantically based on the notion of maximal interval, the denotation of a proposition being a set of maximal intervals where it holds. The main differences between classical formalisms such as those by Allen, McDermott, Shoham and Kowalski and our approach are briefly discussed. In a partial KB, abduction on the temporal order is generally needed to answer a query, and the answer is then conditional on the abduced facts. To comply with the intended semantics, an implicit form of temporal consistency has to be enforced, and this presents the main challenge to the design of the inference mechanism. We present here the syntax and declarative semantics of a propositional version of the language of maximal intervals and a first discussion of the problems in designing an inference system adequate to work with this temporal framework.
1991
Autores
RIBEIRO, C; PORTO, A;
Publicação
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Abstract
The ability to deal with partial knowledge is particularly important in a temporal domain. We describe a temporal language that accounts for incompletely specified temporal information about propositions. Temporal terms in the language denote time instants and inequality constraints are used to keep incomplete information about their order. The language is semantically based on the notion of maximal interval, the denotation of a proposition being a set of maximal intervals where it holds. The adequacy of maximal intervals for temporal knowledge representation has been justified elsewhere [5]. In a partial KB, abduction on the temporal order is generally needed to answer a query, and the answer is then conditional on the abduced facts. To comply with the intended semantics, an implicit form of temporal consistency has to be enforced, and this presents the main challenge to the design of the inference mechanism. We present here the syntax and declarative semantics of a propositional version of the language of maximal intervals and a first discussion of the problems in designing an inference system adequate to work with this temporal framework. Rather than presenting a complete solution, we discuss several a roaches.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.