Follow
Satyadharma Tirtarasa
Title
Cited by
Cited by
Year
Wolpertinger: A Fixed-Domain Reasoner.
S Rudolph, L Schweizer, S Tirtarasa
International Semantic Web Conference (Posters, Demos & Industry Tracks), 2017
52017
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
S Rudolph, L Schweizer, S Tirtarasa
International Joint Conference on Rules and Reasoning, 185-200, 2018
42018
Projection in a Description Logic of Context with Actions⋆
S Tirtarasa, B Zarrieß
32nd International Workshop on Description Logics, 2019
32019
Computing generalizations of temporal εL concepts with next and global
S Tirtarasa, AY Turhan
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 903-910, 2022
22022
Temporal Properties over Contextualized Description Logics.
S Tirtarasa
Description Logics, 2020
12020
SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge
A Nuradiansyah, E Ziberi, S Tirtarasa, L Schweizer
12016
A New Dimension to Generalization: Computing Temporal cL Concepts from Positive Examples
S Tirtarasa, AY Turhan
2022
Computing Generalizations of Temporal EL Concepts with Next and Global
S Tirtarasa, AY Turhan
2022
Justifications for Inconsistency under Fixed-Domain Semantics
S Tirtarasa
TECHNISCHE UNIVERSITÄT DRESDEN, 2017
2017
Towards Reverse Engineering Temporal Queries: Generalizing EL Concepts with Next and Global
S Tirtarasa, AY Turhan
The system can't perform the operation now. Try again later.
Articles 1–10