Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
This paper describes an ontology-based service discovery front-end interface for GloServ. GloServ is a service discovery engine, which is an ontologybased distributed service disco...
Knarig Arabshian, Christian Dickmann, Henning Schu...
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...