- LangPro: Natural Language Theorem Prover
2017/08/30 by Lasha Abzianidze, Abzianidze, Lasha · 1 voice · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Attribute grammar #Automated theorem proving #Calculus (dental) #Combinatory categorial grammar #Computer science #Epistemology #Gas meter prover #Logical consequence #Logical form #Mathematical proof #Mathematics #Natural Language Processing Techniques #Natural deduction #Natural language #Natural language processing #Parsing #Philosophy #Programming language #Proof theory #Property (philosophy) #Semantic Web and Ontologies #Set (abstract data type) #Topic Modeling #acm:68T50 #cs.CL #msc:68T50