Satyadharma Tirtarasa: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Francesco Kriegel (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Nachname=Tirtarasa | |Nachname=Tirtarasa | ||
|Akademischer Titel=M.Sc. | |Akademischer Titel=M.Sc. | ||
|Forschungsgruppe= | |Forschungsgruppe=Automatentheorie | ||
|Stellung= | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Email=satyadharma.tirtarasa@tu-dresden.de | |Email=satyadharma.tirtarasa@tu-dresden.de | ||
|Raum= | |Raum=APB 3032 | ||
|Bild=Satya-Tirtarasa.jpg | |Bild=Satya-Tirtarasa.jpg | ||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
Version vom 10. April 2018, 07:26 Uhr
M.Sc. Satyadharma Tirtarasa
Wissenschaftlicher Mitarbeiter Automatentheorie
Neueste Publikationen
Komplette Publikationsliste anzeigen
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 Download
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
Wolpertinger
Wolpertinger is a fixed-domain reasoner
