In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to autom...
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...