286 citations · 618 across the 21 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 3 cited
Computing unsatisfiable cores for LTLf specifications
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino +1
Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a de-facto standard to produce specifications in many application domains (e.g., planning, business process m…
cs.LO2015★ 14 cited
Distributed First Order Logic
Chiara Ghidini, Luciano Serafini
Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heteroge…