Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
Bo Hu, Yannis Kalfoglou, Harith Alani, David Duppl...
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...