Claudia Picardi

most citedTemporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board

38 citations · 38 across the 3 of their papers we have counts for

collaborators

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2011

Drawing Sound Conclusions from Unsound Premises

Daniele Mundici, Claudia Picardi

Given sets $Φ_{1} = {ϕ_{11}, ..., ϕ_{1 u (1)}}, ..., Φ_{z} = {ϕ_{z 1}, ..., ϕ_{z u (z)}}$ of boolean formulas, a formula $ω$ follows from the conjunction $⋀ Φ_{i} = ⋀ ϕ_{ij}$ iff $…