Knowledge representation and update in hierarchies of graphs
From MaRDI portal
Publication:5896114
DOI10.1016/j.jlamp.2020.100559zbMath1441.68245arXiv2002.01766MaRDI QIDQ5896114
Publication date: 14 July 2020
Published in: Journal of Logical and Algebraic Methods in Programming, Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.01766
68P15: Database theory
68R10: Graph theory (including graph drawing) in computer science
68T30: Knowledge representation
68Q42: Grammars and rewriting systems
Uses Software