Now showing items 1-10 of 1637
The Complexity of Clausal Fragments of LTL
We introduce and investigate a number of fragments of propositional temporal logic LTL over the flow of time (Z, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal ...
Vernunft allein schafft keine Interkulturalität: Auf den Spuren eines Bildungsvisionärs
(Edizioni Alpha Beta, 2013)
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0,1] have been ...
Temporal OBDA with LTL and DL-Lite
We investigate various types of query rewriting over ontologies given in the standard temporal logic LTL as well as combinations of LTL with DL-Lite logics. In particular, we consider FO ( < )- rewritings that can use ...
Junior University Workshops for children
Culture and education should be for all, and this is even more felt in a period of crisis where private resources diminish. In particular, involving children in academia is a way of raising awareness of children, their ...
Life-Logging for Healthcare Proactive Advisory Systems
Proactive Advisory Systems (PASs) are an extension of Recommender Systems (RSs) that push suggestions and advice even if not explicitly requested, while adapting such advice to the specific contextual situation of the user. ...
Multivariate design via copulas
(European Geosciences Union (EGU) / Copernicus Publications, 2011)
Calculating return periods and design quantiles in a multivariate framework is a difficult problem: essentially, this is due to the lack of a natural total order in multi-dimensional Euclidean spaces. This paper tries to ...
(Bozen-Bolzano University Press, 2015)
Value joins are expensive over (probabilistic) XML
(ACM Digital Library, 2010)
We address the cost of adding value joins to tree-pattern queries and monadic second-order queries over trees in terms of the tractability of query evaluation over two data models: XML and probabilistic XML. Our results ...
"Come meglio credi": Conoscenza tacita e innovazione nel distretto del legno-arredo della Brianza
(Società Editrice il Mulino, 2014)
The article introduces a case of innovation, that took place in the Brianza wood and furniture industrial district, during the course of interaction between two craftsmen with materials, prototypes, rendering and a product ...