Logic Form Identification

This paper presents a first experience with evalu- ating sytems that address the issue of Logic Form Identification (LFi). A Gold Standard approach was used in which experts provide solutions …...