We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
In this paper we introduce generalized projections (GPs), an extension of duplicateeliminating projections, that capture aggregations, groupbys, duplicate-eliminating projections ...
The viewable sphere corresponds to the space that surrounds us. The evolution of photography and panoramic software and hardware has made it possible for anybody to capture the vi...
This paper highlights some of the issues that have been reported in surveys carried out by the RIOJA (Repository Interface for Overlaid JournalArchives) project (http://www.ucl.ac...
This paper describes the corpus of university lectures that has been recorded in European Portuguese, and some of the recognition experiments we have done with it. The highly spec...
Isabel Trancoso, Rui Martins, Helena Moniz, Ana Is...