Faiq Miftakhul Falakh

Orcid: 0000-0001-7974-9898

According to our database1, Faiq Miftakhul Falakh authored at least 8 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Belief Revision in Expressive Knowledge Representation Formalisms.
PhD thesis, 2023

2022
Semantic Characterizations of AGM Revision for Tarskian Logics.
Proceedings of the Rules and Reasoning, 2022

AGM Revision in Description Logics Under Fixed-Domain Semantics.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021
Semantic Characterizations of General Belief Base Revision.
CoRR, 2021

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.
CoRR, 2021

A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

2019
Linked Open Data Validity - A Technical Report from ISWS 2018.
CoRR, 2019

2017
Feature Model-to-Ontology for SPL Application Realisation.
CoRR, 2017


  Loading...