—Deploying a generalized, multi-functional mechanism that produces good results for personalizing summarized and categorized news articles, seems to be a panacea for most of the ...
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
Although a wide range of medical ontologies has already been deployed in the last decade, most of them follow design principles different to those required by Semantic Web applica...
Elena Paslaru Bontas, David Schlangen, Sonja Niepa...
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
Johann Eder, Christian Koncilia, Marek Lehmann, Ho...
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
Francesco Calimeri, Giovambattista Ianni, Giuseppe...