Satyadharma Tirtarasa

From International Center for Computational Logic

M.Sc. Satyadharma Tirtarasa

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Automata Theory

Newest Publications

View full publication list

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details

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

View full publication list
Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner