@inproceedings{DBLP:conf/sum/XuBML18,
  author    = {Mengwei Xu and
               Kim Bauters and
               Kevin McAreavey and
               Weiru Liu},
  editor    = {Davide Ciucci and
               Gabriella Pasi and
               Barbara Vantaggi},
  title     = {A Formal Approach to Embedding First-Principles Planning in {BDI}
               Agent Systems},
  booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM}
               2018, Milan, Italy, October 3-5, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11142},
  pages     = {333--347},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00461-3\_23},
  doi       = {10.1007/978-3-030-00461-3\_23},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sum/XuBML18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"CBSYh6oJ26N5BqdQB","bibbaseid":"xu-bauters-mcareavey-liu-aformalapproachtoembeddingfirstprinciplesplanninginbdiagentsystems-2018","author_short":["Xu, M.","Bauters, K.","McAreavey, K.","Liu, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mengwei"],"propositions":[],"lastnames":["Xu"],"suffixes":[]},{"firstnames":["Kim"],"propositions":[],"lastnames":["Bauters"],"suffixes":[]},{"firstnames":["Kevin"],"propositions":[],"lastnames":["McAreavey"],"suffixes":[]},{"firstnames":["Weiru"],"propositions":[],"lastnames":["Liu"],"suffixes":[]}],"editor":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ciucci"],"suffixes":[]},{"firstnames":["Gabriella"],"propositions":[],"lastnames":["Pasi"],"suffixes":[]},{"firstnames":["Barbara"],"propositions":[],"lastnames":["Vantaggi"],"suffixes":[]}],"title":"A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems","booktitle":"Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"11142","pages":"333–347","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-00461-3_23","doi":"10.1007/978-3-030-00461-3_23","timestamp":"Tue, 14 May 2019 10:00:52 +0200","biburl":"https://dblp.org/rec/conf/sum/XuBML18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sum/XuBML18,\n author = {Mengwei Xu and\n Kim Bauters and\n Kevin McAreavey and\n Weiru Liu},\n editor = {Davide Ciucci and\n Gabriella Pasi and\n Barbara Vantaggi},\n title = {A Formal Approach to Embedding First-Principles Planning in {BDI}\n Agent Systems},\n booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM}\n 2018, Milan, Italy, October 3-5, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11142},\n pages = {333--347},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-00461-3\\_23},\n doi = {10.1007/978-3-030-00461-3\\_23},\n timestamp = {Tue, 14 May 2019 10:00:52 +0200},\n biburl = {https://dblp.org/rec/conf/sum/XuBML18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Xu, M.","Bauters, K.","McAreavey, K.","Liu, W."],"editor_short":["Ciucci, D.","Pasi, G.","Vantaggi, B."],"key":"DBLP:conf/sum/XuBML18","id":"DBLP:conf/sum/XuBML18","bibbaseid":"xu-bauters-mcareavey-liu-aformalapproachtoembeddingfirstprinciplesplanninginbdiagentsystems-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-00461-3_23"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/143/0845.bib","dataSources":["biNNhgAqPBtQtm7Av"],"keywords":[],"search_terms":["formal","approach","embedding","first","principles","planning","bdi","agent","systems","xu","bauters","mcareavey","liu"],"title":"A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems","year":2018}