The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
Currently we are experiencing the emergence of the fourth generation of the World Wide Web which is geared towards service and data provision using semantic and ontological inform...
This contribution summarizes the main goals, objectives, and tasks done so far in the framework of the the CEN/ISSS Workshop on Standardization of Online Dispute Resolution Tools (...
Arno R. Lodder, Andrea Borri, Jacques Gouimenou, B...
efined abstract representation of a semantic path that respects the ontological classes of a particular semantic network. A discrete "walker" utilizes the grammar to dete...