Yves Martin

Addressing the Qualification Problem in FLUX

Michael Thielscher, Yves Martin, M. Thielscher, 2001, KI/ÖGAI.

The concurrent, continuous FLUX

Yves Martin, Yves Martin, 2003, IJCAI 2003.

Integrating Reasoning about Actions and Bayesian Networks

Michael Thielscher, Yves Martin, M. Thielscher, 2016, ICAART.

Specifying Abnormal Action Qualifications with Sensing in FLUX

Yves Martin, Yves Martin, 2004, KI.