2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2025★ 2 cited
Semantically Reflected Programs
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu +4
This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an…
cs.AI2023
GeoFault: A well-founded fault ontology for interoperability in geological modeling
Yuanwei Qu, Michel Perrin, Anita Torabi +2
Geological modeling currently uses various computer-based applications. Data harmonization at the semantic level by means of ontologies is essential for making these applications i…