3 research outputs found
Metadata Scoring through the Lens of the Common Framework for Earth-Observation Data
No full textThis presentation was given at the Earth Science Information Partners (ESIP) Winter Meeting held in Bethesda, MD in January 2020.</div
On Constructing Fibred Tableaux for BDI Logics
No full textIn previous work we showed how to combine propositional BDI logics using Gabbay's fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. We show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system
Establishing Trust in Centralized Repositories
No full textCentralized or common repositories expose data to new users by bringing together metadata from various archives into a single repository. Centralized repositories also serve as a one stop for data discovery and help increase the likelihood that data will be reused for new research and applications.Since these repositories expose new users to new data, it is essential that the information provided in these repositories be trustworthy and reliable. Ensuring trustworthiness is an ongoing challenge for centralized repositories.These slides were presented at a breakout session focused on approaches to ensuring quality and trustworthiness in centralized repositories and the challenges faced by centralized repositories in meeting those goals. The session took place at the Earth Science Information Partners (ESIP) Winter Meeting in January 2019
