Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Businessto-Business col...
Discourse structure and coherence relations are one of the main inferential challenges addressed by computational pragmatics. The present study focuses on discourse markers as key...
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...