Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. - Grégoire Lejay; Katsumi Inoue; Andrei Doncescu (AINA Workshops, 2011)