1 citations · 1 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Submodel Enumeration for CTL Is Hard
Nicolas Fröhlich, Arne Meier
Expressing system specifications using Computation Tree Logic (CTL) formulas, formalising programs using Kripke structures, and then model checking the system is an established wor…
cs.DB2023
A logic-based framework for database repairs
Nicolas Fröhlich, Arne Meier, Nina Pardal +1
We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called…