Difference between revisions of "Semantics software for English"

From ACL Wiki
Jump to: navigation, search
m (Reverted edits by Edward518 (Talk); changed back to last version by Ioan)
Line 7: Line 7:
 
*[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies]
 
*[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies]
 
*[http://www.ling.upenn.edu/lambda Lambda Calculator] - pedagogical software for lambda calculus and formal semantics in the style of the Heim & Kratzer (1998) textbook
 
*[http://www.ling.upenn.edu/lambda Lambda Calculator] - pedagogical software for lambda calculus and formal semantics in the style of the Heim & Kratzer (1998) textbook
 +
*[http://nltk.org NLTK semantics] - Python libraries for lambda calculus, first order model checking, DRT, glue semantics, a tableau theorem prover and interfaces to external inference programs (Prover9, Mace4)
 
*[http://senseclusters.sourceforge.net/ SenseClusters]
 
*[http://senseclusters.sourceforge.net/ SenseClusters]
 
*[http://www.comp.lancs.ac.uk/ucrel/usas/ UCREL] - Semantic Analysis System
 
*[http://www.comp.lancs.ac.uk/ucrel/usas/ UCREL] - Semantic Analysis System

Revision as of 04:43, 28 February 2008

Software - Semantics