Sciweavers

SYNTHESE
2008
81views more  SYNTHESE 2008»
13 years 3 months ago
Adequate formalization
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
Michael Baumgartner, Timm Lampert