Skip to search boxSkip to navigationSkip to main content

GEV: Statically Correct and Programmable Knowledge Graph Updates

  • Eduard Kamburjan
    ,
  • Shqiponja Ahmetaj
    ,
  • Chinmayi Prabhu Prasad Baramashetru
    ,
  • Paolo Pareti
  • Software Engineering
    ,
  • University of Oslo
    ,
  • Vienna University of Technology
    ,
  • University of Kent
    ,
  • University of Southampton
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Research
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Research
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 8419-8422 (4 pages)

Publication milestones

  • Published - 01/09/2026

Publication status

Published - 01/09/2026

Publisher

International Joint Conferences on Artificial Intelligence Organization

ISBN (Print)

978-1-956792-09-6

Host publication title

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-26)

Host publication editors

  • Diego Calvanese

Funding Details

This work is partially supported by the EU project SM4RTENANCE (101123490), the DFF project Graph-based Verification of Reflective Programs (5254-00016B) and the Horizon Europe projects DataPACT (101189771) and RAISE Suite (101188337). Ahmetaj was supported by the Austrian Science Fund (FWF) and netidee SCIENCE [T1349- N], and the Vienna Science and Technology Fund (WWTF) [10.47379/ICT2201].
FundersFunding numbers
SM4RTENANCE
101123490
DataPACT
101189771
RAISE
101188337
Independent Research Fund Denmark
5254-00016B
Austrian Science Fund
T1349- N
Vienna Science and Technology Fund
10.47379/ICT2201

Access to documents

Related Event

Title

Thirty-Fifth International Joint Conference on Artificial Intelligence

Event type

Conference

Links

Degree of recognition

International event

Date

15/08/2026 - 21/08/2026

Location

BremenGermany