2 citations · 6 across the 7 of their papers we have counts for
7 papers
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3
In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes o…
A Digital Twinning Approach to Decarbonisation: Research Challenges
Blair Archibald, Paul Harvey, Michele Sevegnani
Transportation accounts for around 27% of green house gas emissions in the UK. While an obvious priority area for decarbonisation, and aligned to the UK government goal of reducing…
Modelling Real-time Systems with Bigraphs
Maram Albalwe, Blair Archibald, Michele Sevegnani
Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobil…
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
Ebtihal Althubiti, Michele Sevegnani
Advancements in information technology have led to the sharing of users' data across borders, raising privacy concerns, particularly when destination countries lack adequate protec…
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
Roberto Metere, Kangfeng Ye, Yue Gu +4
As Open Radio Access Networks (O-RAN) continue to expand, AI-driven applications (xApps) are increasingly being deployed enhance network management. However, developing xApps witho…
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Ayodeji O. Abioye, William Hunt, Yue Gu +7
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circums…
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani +1
Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and abl…