From informal knowledge to formal logic: a realistic case study in medical protocols (2002)

by M Marcos, M Balser, ten Teije, A, F van Harmelen
Venue:In Proceedings of the 12th EKAW-2002