Description Logics: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
= Evee = | |||
{{Link|target=KR 2024}} | {{Link|target=KR 2024}} | ||
* https://github.com/de-tu-dresden-inf-lat/evee | |||
<youtube>DUDWp2YmhaY</youtube> | <youtube>DUDWp2YmhaY</youtube> | ||
<pdf>https://ceur-ws.org/Vol-3515/paper-1.pdf</pdf> | |||