Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Abstract. In its core, the Semantic Web is about the creation, collection and interlinking of metadata on which agents can perform tasks for human users. While many tools and appro...
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...