Satyadharma Tirtarasa

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

M.Sc. Satyadharma Tirtarasa

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Komplette Publikationsliste anzeigen
Wolpert-github.png

Wolpertinger
Wolpertinger is fixed-domain reasoner