• Publications
  • Influence
The Semantic Web
The proposed approach has been implemented in the system CRION (Contrastive Reasoning with Inconsistent ONtologies) as a reasoning plug-in in the LarKC (Large Knowledge Collider) platform and shows that contrastive reasoning is a useful extension to the existing approaches of reasoning with inconsistent ontologies. Expand
Neural Networks: Tricks of the Trade
It is shown how nonlinear semi-supervised embedding algorithms popular for use with â œshallowâ learning techniques such as kernel methods can be easily applied to deep multi-layer architectures. Expand
Unifying Theories of Programming
This paper instantiates the ideas in Hoare and He’s Unifying Theories of Programming, with each different treatment of undefinedness formalized as a UTP theory, and shows how classical logic can be used to prove semi-classical facts. Expand
Information and communication technology
This talk will concentrate on the early history of semantics and interoperability research but also investigate the (reoccurring) problem of interoperability as it can be found in the massive data collections around the Open Linked Data concepts. Expand
On Isomorphisms and Density of NP and Other Complete Sets
It is shown that complete sets in EXPTIME and EXPTAPE cannot be sparse and therefore they cannot be over a single letter alphabet, and the hardest context-sensitive languages can be sparse. Expand
Software Engineering for Self-Adaptive Systems II
The goal of this roadmap paper is to summarize the stateof-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with aExpand
Hierarchies of memory limited computations
This paper investigates the computational complexity of binary sequences as measured by the rapidity of their generation by multitape Turing machines. A "translational" method which escapes some ofExpand
Multiple Classifier Systems
This work considers strategies for building classifier ensembles for non-stationary environments where the classification task changes during the operation of the ensemble, and the concept of "forgetting" is discussed. Expand