From Natural Language to Formal Proof Goal.

Ruud Stegers, Annette ten Teije, Frank van Harmelen

Browse the full EKAW paper archive.