From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen

Browse the full EKAW paper archive.