Now showing items 1-10 of 3035
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)
Atteggiamento verso la salute, verso il futuro e locus of control in soggetti affetti da β-talassemia major
(Società Italiana di Psicologia della Salute, 2004)
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 ...
Web service contracting: specification and reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, ...
Modeling the Reaction Kinetics During Hydrothermal Carbonization of Waste Biomass
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 ...
Development of a digestate treatment’s scheme for nutrients recovery and re-use to apply on alpine small/medium size agricultural plants
(Universität für Bodenkultur, 2014)
One of the problems still open in many anaerobic digestion (AD) projects regards digestate’s management, in order to ensure the environmental sustainability of the production cycle. Digestate flows, as well as the original ...