Accountable trust decisions: a semantic approach

von Schlichtkrull, Anders
Veröffentlicht in Open Identity Summit (2020 : Kopenhagen) Open Identity Summit 2020 (2020)

Interactive Theorem Proving for Logic and Information

von Villadsen, Jorgen
Veröffentlicht in NLPinAI (2021 : Online) Natural Language Processing in Artificial Intelligence – NLPinAI 2021 (2022)