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 2: | Zeile 2: | ||
|Vorname=Faiq Miftakhul | |Vorname=Faiq Miftakhul | ||
|Nachname=Falakh | |Nachname=Falakh | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
|Stellung=Stipendiat | |Stellung=Stipendiat | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Telefon=+49 351 463 43558 | |||
|Email=faiq_miftakhul.falakh@tu-dresden.de | |Email=faiq_miftakhul.falakh@tu-dresden.de | ||
|Raum=APB 2033 | |Raum=APB 2033 | ||
|Bild=Ff1.jpg | |Bild=Ff1.jpg | ||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen= | |Abschlussarbeiten anzeigen=0 | ||
}} | }} | ||
Version vom 6. März 2018, 16:19 Uhr
Faiq Miftakhul Falakh
Stipendiat Computational Logic
- faiq_miftakhul.falakh@tu-dresden.de
- +49 351 463 43558
- APB 2033
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
