Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
Maria-Cruz Villa-Uriol, Falko Kuester, Oscar Garc&...
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
Extensive and deep paraphrase corpora are important for a variety of natural language processing and user interaction tasks. In this paper, we present an approach which i) collect...
We designed and implemented a software system, called WebCrow, that represents the ļ¬rst solver for Italian crosswords and the ļ¬rst system that tackles a language game using the...
Videogames now enable players to spend virtual fortunes on exotic virtual goods and even create and sell virtual artefacts. Online consumers may also browse endlessly through virt...