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 7: | Zeile 7: | ||
|Telefon=+49 351 463 43558 | |Telefon=+49 351 463 43558 | ||
|Email=faiq_miftakhul.falakh@tu-dresden.de | |Email=faiq_miftakhul.falakh@tu-dresden.de | ||
|Raum=APB | |Raum=APB 2031 | ||
|Bild=Faiq-400x600.jpg | |Bild=Faiq-400x600.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 knowledge base revision. My study is supported by [https://www.lpdp.kemenkeu.go.id/ LPDP scholarship] from Indonesia government. | |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 knowledge base revision. My study is supported by [https://www.lpdp.kemenkeu.go.id/ LPDP scholarship] from Indonesia government. | ||
Version vom 7. Oktober 2021, 10:16 Uhr
Faiq Miftakhul Falakh
Stipendiat Computational Logic
- faiq_miftakhul.falakh@tu-dresden.de
- +49 351 463 43558
- APB 2031
Since October 2017, I am a doctoral student in Computational Logic Group led by Prof. Dr. Sebastian Rudolph. My research topic is about knowledge base revision. My study is supported by LPDP scholarship from Indonesia government.
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
