• Publications
  • Influence
The Semantic Web
TLDR
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
Unifying Theories of Programming
TLDR
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
TLDR
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
Multiple Classifier Systems
TLDR
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
Efficient Graph Rewriting and Its Implementation
TLDR
A graphical implementation of functional languages - a case study in UBS-graph rewriting systems and an advanced modelling formalism are presented. Expand
Ambient Intelligence
TLDR
An ecological view in which a smart home is seen as an interconnected collection of smart objects that work together to provide services to inhabitants is proposed, and a taxonomy for smart home services is proposed and discussed. Expand
Optimal register allocation for SSA-form programs in polynomial time
TLDR
A constructive proof that the register allocation problem for a uniform register set is solvable in polynomial time for SSA-form programs is given. Expand
Temporal Databases: Research and Practice
TLDR
An object-oriented framework for temporal data models for supporting interoperability among temporal databases and a glossary of time granularity concepts for temporal database concepts. Expand
Machine Learning for Dynamic Software Analysis: Potentials and Limits
TLDR
It is argued that the optimal choice of an ML method for a particular application should be guided by the type of models one seeks to infer, and the open challenges for reaching the full potential of ML for software engineering are discussed. Expand
...
1
2
3
4
5
...