Satyadharma Tirtarasa

According to our database, Satyadharma Tirtarasa authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

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 GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 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