Folgen
Satyadharma Tirtarasa
Titel
Zitiert von
Zitiert von
Jahr
Wolpertinger: A Fixed-Domain Reasoner.
S Rudolph, L Schweizer, S Tirtarasa
International Semantic Web Conference (Posters, Demos & Industry Tracks), 2017
52017
Projection in a Description Logic of Context with Actions⋆
S Tirtarasa, B Zarrieß
32nd International Workshop on Description Logics, 2019
42019
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
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
32022
Temporal Properties over Contextualized Description Logics.
S Tirtarasa
Description Logics, 2020
22020
A New Dimension to Generalization: Computing Temporal cL Concepts from Positive Examples
S Tirtarasa, AY Turhan
12022
SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge
A Nuradiansyah, E Ziberi, S Tirtarasa, L Schweizer
12016
Towards Reverse Engineering Temporal Queries: Generalizing EL Concepts with Next and Global
S Tirtarasa, AY Turhan
1
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10