I am working on the PENG Light project where I am developing a computer-processable controlled natural language that
is easy to learn, to write, and to process. Specifications written in PENG Light are translated
via discourse representation structures into the input language of the Event Calculus, a temporal formalism for reasoning about events, their effects
and continuous change. Recently, I used answer set programming as target language for controlled natural language processing; here is an
example that illustrates how this works. To learn more about controlled natural languages, please check the
Controlled Natural Languages web page.

R. Schwitter, M. Tilbrook. Let's Talk in Description Logic via Controlled Natural Language. In: Proceedings
of the Third International Workshop on Logic and Engineering of Natural Language Semantics (LENLS2006) in
Conjunction with the 20th Annual Conference of the Japanese Society for Artificial Intelligence, Tokyo,
Japan, June 5-6, pp. 193-207, 2006.

R. Schwitter, M. Tilbrook. Dynamic Semantics at Work.
In: Proceedings of the International Workshop on Logic
and Engineering of Natural Language Semantics (in conjunction with the 18th Annual Conference of the
Japanese Society for Artificial Intelligence, 2004), in Kanazawa (Japan), May 31, pp. 49-60, 2004.