18 citations · 67 across the 31 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
Paul Wild, Lutz Schröder, Dirk Pattinson +1
The fuzzy modality `probably` is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under pr…
cs.LO2019★ 2 cited
Rewriting Abstract Structures: Materialization Explained Categorically
Andrea Corradini, Tobias Heindel, Barbara König +2
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-h…