3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
Analysing Spatial Properties on Neighbourhood Spaces
Sven Linker, Fabio Papacchini, Michele Sevegnani
We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of t…
cs.LO2019
Model Comparison Games for Horn Description Logics
Jean Christoph Jung, Fabio Papacchini, Frank Wolter +1
Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated q…