Difference between revisions of "Semantics software for English"

From ACL Wiki
Jump to: navigation, search
Line 5: Line 5:
 
*[http://www.connexor.com/software/semantics/ Connexor Machinese Semantics]
 
*[http://www.connexor.com/software/semantics/ Connexor Machinese Semantics]
 
*[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ]
 
*[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ]
*[http://www.blackburnbos.org CURT] - Semantic interpretation using off-the-shelf theorem proving and model building tools.  
+
*[http://www.blackburnbos.org CURT] - Software from Blackburn and Bos book: model checking, lambda calculus, interfaces to theorem provers and model builders, and CURT itself.  
 
*[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

Revision as of 02:17, 19 April 2008

Software - Semantics