{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-2134/paper09.html","spt.description":null,"spt.id":"Vol-2134/paper09","spt.wikidataid":null,"spt.title":"Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning","spt.pdfUrl":"https://ceur-ws.org/Vol-2134/paper09.pdf","spt.volume":{"number":2134,"acronym":"MRC 2018","wikidataid":"Q113543300","title":"Proceedings of the Tenth International Workshop Modelling and Reasoning in Context","description":"Proceedings of MRC 2018 workshop","url":"http://ceur-ws.org/Vol-2134/","date":"2018-07-09","dblp":"conf/ijcai/2018mrc","k10plus":"1040492509","urn":"urn:nbn:de:0074-2134-0"},"spt.session":null,"cvb.id":"Vol-2134/paper09","cvb.title":"Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Aishwarya Chhabra,Amit Sangroya,C. Anantaram","cvb.vol_number":"2134","cvb.pdf_name":"paper09.pdf","cvb.pages":"64-71","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/ijcai/ChhabraSA18","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/ijcai/2018mrc","dblp.volume_number":2134,"dblp.title":"Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/97/8100","label":"Amit Sangroya","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/30/5842","label":"C. Anantaram","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/222/7893","label":"Aishwarya Chhabra","wikidata_id":null,"orcid_id":null,"gnd_id":null}],"dblp.pdf_id":"Vol-2134/paper09"}