Faiq Miftakhul Falakh: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Faiq Miftakhul Falakh (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Faiq Miftakhul Falakh (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|Bild=TUD 8228 hi res.jpg | |Bild=TUD 8228 hi res.jpg | ||
|Info=Since October 2017, I am a doctoral student in [[Computational Logic/en|Computational Logic Group]] led by [[Sebastian_Rudolph/en|Prof. Dr. Sebastian Rudolph]]. My research topic is about Revision in Description Logic knowledge base. My study is fully supported by [https://www.lpdp.kemenkeu.go.id/ LPDP scholarship] from Indonesia government. I finished my bachelor and master degree at [https://www.cs.ui.ac.id/?lang=en Faculty of Computer Science], [https://www.ui.ac.id/en/ Universitas Indonesia]. | |Info=Since October 2017, I am a doctoral student in [[Computational Logic/en|Computational Logic Group]] led by [[Sebastian_Rudolph/en|Prof. Dr. Sebastian Rudolph]]. My research topic is about Revision in Description Logic knowledge base. My study is fully supported by [https://www.lpdp.kemenkeu.go.id/ LPDP scholarship] from Indonesia government. I finished my bachelor and master degree at [https://www.cs.ui.ac.id/?lang=en Faculty of Computer Science], [https://www.ui.ac.id/en/ Universitas Indonesia]. | ||
|Info EN=Since October 2017, I am a doctoral student in [[Computational Logic/en|Computational Logic Group]] led by [[Sebastian_Rudolph/en|Prof. Dr. Sebastian Rudolph]]. My research topic is about Revision in Description Logic knowledge base. My study is fully supported by [https://www.lpdp.kemenkeu.go.id/ LPDP scholarship] from Indonesia government. I finished my bachelor and master degree at [https://www.cs.ui.ac.id/?lang=en Faculty of Computer Science], [https://www.ui.ac.id/en/ Universitas Indonesia]. | |||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen=0 | |Abschlussarbeiten anzeigen=0 | ||
}} | }} | ||
Version vom 26. Juli 2019, 11:23 Uhr
Faiq Miftakhul Falakh
Stipendiat Computational Logic
- faiq_miftakhul.falakh@tu-dresden.de
- +49 351 463 43558
- APB 2033
Since October 2017, I am a doctoral student in Computational Logic Group led by Prof. Dr. Sebastian Rudolph. My research topic is about Revision in Description Logic knowledge base. My study is fully supported by LPDP scholarship from Indonesia government. I finished my bachelor and master degree at Faculty of Computer Science, Universitas Indonesia.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, eds., Proceedings of the 7th Workshop on Formal and Cognitive Reasoning, volume 2961, 48-59, September 2021. CEUR Workshop Proceedings
Details Download
