@Inproceedings{Stringer20a,
  author    = {Stringer, Peter and Cardoso, Rafael C. and Huang, Xiaowei and Dennis, Louise A.},
  year      = {2020},
  title     = {Adaptable and Verifiable BDI Reasoning},
  booktitle = {Proceedings of the First Workshop on
               Agents and Robots for reliable Engineered Autonomy,
                Virtual event, 4th September 2020},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {319},
  publisher = {Open Publishing Association},
  pages     = {117-125},
  doi       = {10.4204/EPTCS.319.9},
  note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>]}
}

{"_id":"jizgQt7exNvW8hrwQ","bibbaseid":"stringer-cardoso-huang-dennis-adaptableandverifiablebdireasoning-2020","authorIDs":["MoNWo7scHtHEjwwAS"],"author_short":["Stringer, P.","Cardoso, R. C.","Huang, X.","Dennis, L. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Stringer"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Xiaowei"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]}],"year":"2020","title":"Adaptable and Verifiable BDI Reasoning","booktitle":"Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, Virtual event, 4th September 2020","series":"Electronic Proceedings in Theoretical Computer Science","volume":"319","publisher":"Open Publishing Association","pages":"117-125","doi":"10.4204/EPTCS.319.9","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@Inproceedings{Stringer20a,\n author = {Stringer, Peter and Cardoso, Rafael C. and Huang, Xiaowei and Dennis, Louise A.},\n year = {2020},\n title = {Adaptable and Verifiable BDI Reasoning},\n booktitle = {Proceedings of the First Workshop on\n Agents and Robots for reliable Engineered Autonomy,\n Virtual event, 4th September 2020},\n series = {Electronic Proceedings in Theoretical Computer Science},\n volume = {319},\n publisher = {Open Publishing Association},\n pages = {117-125},\n doi = {10.4204/EPTCS.319.9},\n note = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n","author_short":["Stringer, P.","Cardoso, R. C.","Huang, X.","Dennis, L. A."],"key":"Stringer20a","id":"Stringer20a","bibbaseid":"stringer-cardoso-huang-dennis-adaptableandverifiablebdireasoning-2020","role":"author","urls":{},"metadata":{"authorlinks":{"cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2020-07-03T18:05:51.052Z","downloads":1,"keywords":[],"search_terms":["adaptable","verifiable","bdi","reasoning","stringer","cardoso","huang","dennis"],"title":"Adaptable and Verifiable BDI Reasoning","year":2020,"dataSources":["AdmcuDNM8GSatWG9Y","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}