Using Answer Set Programming in an Inference-Based approach to Natural   Language Semantics
  Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics 
Farid Nouioua (LIPN), Pascal Nicolas (LERIA)