Satyadharma Tirtarasa

According to our database, Satyadharma Tirtarasa authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Context-Sensitive Description Logics in Dynamic Settings.

Satyadharma Tirtarasa

PhD thesis, 2024

2022

Computing generalizations of temporal <i>εL</i> concepts with next and global.

Satyadharma Tirtarasa, Anni-Yasmin Turhan

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).

Satyadharma Tirtarasa, Anni-Yasmin Turhan

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2020

Temporal Properties over Contextualized Description Logics.

Satyadharma Tirtarasa

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Projection in a Description Logic of Context with Actions.

Satyadharma Tirtarasa, Benjamin Zarrieß

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

Wolpertinger: A Fixed-Domain Reasoner.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017