Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning.

Aishwarya Chhabra, Amit Sangroya, C. Anantaram

Browse the full IJCAI paper archive.