There are 1 repository under logical-forms topic.
GraphParser is a semantic parser which can convert natural language sentences to logical forms and graphs.
A framework to convert Universal Dependencies to Logical Forms
Natural Language Processing Assignment - A Simple Reply System
Java code to convert every logical formula to conjunctive normal form and disjunctive normal form