Francesca Zaffora Blando

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Explanation Based Generalization

Forward Selection

Situation Calculus

Top Venues

Rev. Symb. Log.

Publications

Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise removal. Rev. Symb. Log. 15 (1) (2022)
Francesca Zaffora Blando
A Learning-Theoretic characterisation of Martin-löF Randomness and Schnorr Randomness. Rev. Symb. Log. 14 (2) (2021)
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise Removal. CoRR (2021)