Author(s): Abzianidze Lasha
Title: A Tableau Prover for Natural Logic and Language
Keywords: Tableau method, Natural Logic, Semantics, Lambda Logical Form, Theorem prover, Natural Tableau
Date submitted: 2016 01 18