Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Lukas Gerlach - , Center for Advancing Electronics Dresden (cfaed), Professur für Wissensbasierte Systeme (cfaed) (Autor:in)
Alex Ivliev - , Center for Advancing Electronics Dresden (cfaed), Professur für Wissensbasierte Systeme (cfaed) (Autor:in)
Julián Méndez - , Professur für Multimedia-Technologie (MT) (Autor:in)
Simon Meusel - , Technische Universität Dresden (Autor:in)
Raimund Dachselt - , Professur für Multimedia-Technologie (MT) (Autor:in)
Markus Krötzsch - , Center for Advancing Electronics Dresden (cfaed), Professur für Wissensbasierte Systeme (cfaed) (Autor:in)

Details

Originalsprache	Englisch
Titel	The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)
Publikationsstatus	Veröffentlicht - 1 Nov. 2024
Peer-Review-Status	Ja

Externe IDs

ORCID	/0000-0002-2176-876X/work/184885046
ORCID	/0000-0002-1604-6308/work/184885247
ORCID	/0000-0003-1029-7656/work/184885663

Schlagworte