Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
natural-language logical-knowledge-representation logical-knowledge-inference logic-programming logic-design
-
Updated
Jun 6, 2018 - Python