CeTI

From International Center for Computational Logic
Toggle side column

CeTI

Centre for Tactile Internet with Human-in-the-Loop

The vision of CeTI, a Cluster of Excellence at the University of Technology Dresden, is to enable people to interact with cyber-physical systems in the real or virtual world via intelligent communication networks and systems in near real time.

Such advances go far beyond the current state-of-the-art approaches in computer and engineering sciences: intelligent communication networks and adaptive CPS for quasi real-time co-operations with humans require online mutual learning mechanisms, which are crucial challenges.

To tackle these challenges, CeTI will conduct unique interdisciplinary research and will address major open research topics in key areas of the complexity of human control in the human–machine loop, sensor and actuator technologies, software and hardware designs, and the communication networks as the basis for several novel use cases grouped in medicine, industry, and the Internet of Skills.

This page only shows the activity of ICCL researchers in CeTI. Many further information can be found on the official website of the cluster of excellence.


Journal Articles

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download

Proceedings Articles

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download