Faiq Miftakhul Falakh

Faiq Miftakhul Falakh

Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Computational Logic

• DBLP

•   faiq_miftakhul.falakh@tu-dresden.de
•   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 belief change and knowledge base revision. My study is supported by the Indonesia Endowment Fund for Education (LPDP scholarship) from the Indonesia government and by the Federal Ministry of Education and Research, Germany (BMBF) in the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)

• Publikationen

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

Komplette Publikationsliste anzeigen