In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
Cecilia Challiol, Andres Fortier, Silvia E. Gordil...
In this paper we give an overview of methods to find representations of ontology defined concepts in texts. We distinguish two approaches: lexicon-based methods and approaches u...
Christian Wartena, Rogier Brussee, Luit Gazendam, ...
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
Linguistics has always been a field with a great diversity of schools and sub-schools. This has naturally led to the question of whether different grammatical analyses of the sam...