Skip to content Skip to footer

Research Portal of the TU Dresden

EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Lukas Gerlach - , Center for Advancing Electronics Dresden (cfaed), Chair of Knowledge-based Systems (cfaed) (Author)
Alex Ivliev - , Center for Advancing Electronics Dresden (cfaed), Chair of Knowledge-based Systems (cfaed) (Author)
Julián Méndez - , Chair of Multimedia Technology (Author)
Simon Meusel - , TUD Dresden University of Technology (Author)
Raimund Dachselt - , Chair of Multimedia Technology (Author)
Markus Krötzsch - , Center for Advancing Electronics Dresden (cfaed), Chair of Knowledge-based Systems (cfaed) (Author)

Details

Original language	English
Title of host publication	The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)
Publication status	Published - 1 Nov 2024
Peer-reviewed	Yes

External IDs

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

Keywords