Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.

Chitta Baral Juraj Dzifcak Tran Cao Son Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. 818-823 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BaralDS08