A 'Natural Logic' inference system using the Lambek calculus. Zamansky, A.; Francez, N.; and Winter, Y. Journal of Logic, Language and Information, 15:273-295, 2006.
bibtex   
@ARTICLE{ZamanskyEtAl,
    AUTHOR = "Anna Zamansky and Nissim Francez and Yoad Winter",
    YEAR = 2006,
    TITLE = "A '{N}atural {L}ogic' inference system using the {L}ambek calculus",
    VOLUME = 15,
    PAGES = {273-295},
    JOURNAL = "Journal of Logic, Language and Information",
    bib2html_pubtype =  {Journal},
    bib2html_rescat =   {Computational Semantics},
}
Downloads: 0