14 citations · 21 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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.AI2025★ 5 cited
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Riccardo Sieve, Paul Kobialka, Laura Slaughter +3
Digital twins are emerging as a valuable tool for short-term decision-making as well as for long-term strategic planning across numerous domains, including process industry, energy…