Benzmüller, Christoph[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2018
Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts
Universit ́e Clermont Auvergne
250-251
Yes
No
International
978-2-9544948-1-4
Vichy
France
6th World Congress and School on Universal Logic
from 16-06-2018 to 26-06-2018
[en] own ; Computational Hermeneutics ; Higher Order Logic ; Universal Reasoning ; Rational Argumentation ; Human-Machine Interaction