With increasing model complexity, models are typically re-used and evolved rather than starting from scratch. There is also a growing challenge in ensuring that these models can seamlessly work across ...

In conversation, prosody complements words, forming a structured communication system distinct from, yet connected to, text. By analyzing large datasets of spontaneous conversations and clustering ...

The Centre for Argument Technology (ARG Tech) works in philosophical and linguistic theory of argument, in computational models of argument and their implementation in artificial intelligence systems, ...

Translation is both an interpretive use of language and problem-solving activity. In his work, Ernst-August Gutt adopts a Relevance-Theoretic approach to unveil the inferential nature of translation ...

Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic ...