An Education and Research Tool for Computational Semantics

This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algorithms together with test suites. The teaching tool allows users to work step by step through derivations of semantic representations, and to compare the proper- ties of various semantic formalisms such as Intensional Logic, DRT, and Situation Semantics. The systen is freely available on the Internet