Now showing items 1-10 of 871
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 ...
Expressing DL-Lite ontologies with Controlled English
(Bozen-Bolzano University Press, 2007)
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expressing ontologies formalized in Description ...
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. ...
Dal percorso di apprendimento all'itinerario virtuale: esperienze sul Web 2.0
(Università degli Studi di Trento, 2009)
Questo lavoro illustra una metodologia di progettazione di corsi, erogati in modalità tradizionale, ibrida o a distanza, utilizzando strumenti di apprendimento collaborativo basati sulle tecnologie Web 2.0. Si presenteranno ...
(Bozen-Bolzano University Press, 2015)
PEM: Experience Management Tool for Software Companies
(ACM Press, 2008)
Process control and improvement are keys to successful businesses. A working Experience Factory helps to achieve them but it is not easy to implement. The PROM Experience Manager (PEM) is designed to facilitate such ...