3 citations · 6 across the 4 of their papers we have counts for
4 papers
AGM Belief Revision, Semantically
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
We establish a generic, model-theoretic characterization of belief revision operators implementing the paradigm of minimal change according to the seminal work by Alchourrón, Gärde…
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mende…
Linked Open Data Validity -- A Technical Report from ISWS 2018
Tayeb Abderrahmani Ghor, Esha Agrawal, Mehwish Alam +68
Linked Open Data (LOD) is the publicly available RDF data in the Web. Each LOD entity is identfied by a URI and accessible via HTTP. LOD encodes globalscale knowledge potentially a…
Feature Model-to-Ontology for SPL Application Realisation
Iis Afriyanti, Faiq Miftakhul Falakh, Ade Azurat +1
Feature model are widely used to capture commonalities and variabilities of artefacts in Software Product Line (SPL). Several studies have discussed the formal representation of fe…