
Angel Nepomuceno-Fernández
(2010-2019)
XAbductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer

(2010-2019)
XAbductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer