@incollection{DBLP:books/sp/20/SilvaSV20,
  author       = {Jos{\'{e}} Reinaldo Silva and
                  Javier Martinez Silva and
                  Tiago Stegun Vaquero},
  editor       = {Mauro Vallati and
                  Diane E. Kitchin},
  title        = {Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis},
  booktitle    = {Knowledge Engineering Tools and Techniques for {AI} Planning},
  pages        = {47--65},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-38561-3\_3},
  doi          = {10.1007/978-3-030-38561-3\_3},
  timestamp    = {Tue, 07 Apr 2020 16:05:28 +0200},
  biburl       = {https://dblp.org/rec/books/sp/20/SilvaSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FacKfLHzbk7n4TWmi","bibbaseid":"silva-silva-vaquero-formalknowledgeengineeringforplanningpreandpostdesignanalysis-2020","author_short":["Silva, J. R.","Silva, J. M.","Vaquero, T. S."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["José","Reinaldo"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Javier","Martinez"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Tiago","Stegun"],"propositions":[],"lastnames":["Vaquero"],"suffixes":[]}],"editor":[{"firstnames":["Mauro"],"propositions":[],"lastnames":["Vallati"],"suffixes":[]},{"firstnames":["Diane","E."],"propositions":[],"lastnames":["Kitchin"],"suffixes":[]}],"title":"Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis","booktitle":"Knowledge Engineering Tools and Techniques for AI Planning","pages":"47–65","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-38561-3\\_3","doi":"10.1007/978-3-030-38561-3_3","timestamp":"Tue, 07 Apr 2020 16:05:28 +0200","biburl":"https://dblp.org/rec/books/sp/20/SilvaSV20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:books/sp/20/SilvaSV20,\n author = {Jos{\\'{e}} Reinaldo Silva and\n Javier Martinez Silva and\n Tiago Stegun Vaquero},\n editor = {Mauro Vallati and\n Diane E. Kitchin},\n title = {Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis},\n booktitle = {Knowledge Engineering Tools and Techniques for {AI} Planning},\n pages = {47--65},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-38561-3\\_3},\n doi = {10.1007/978-3-030-38561-3\\_3},\n timestamp = {Tue, 07 Apr 2020 16:05:28 +0200},\n biburl = {https://dblp.org/rec/books/sp/20/SilvaSV20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Silva, J. R.","Silva, J. M.","Vaquero, T. S."],"editor_short":["Vallati, M.","Kitchin, D. E."],"key":"DBLP:books/sp/20/SilvaSV20","id":"DBLP:books/sp/20/SilvaSV20","bibbaseid":"silva-silva-vaquero-formalknowledgeengineeringforplanningpreandpostdesignanalysis-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-38561-3\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://dblp.org/pid/79/5199.bib","dataSources":["j2EkMA8bCsvyjS7br"],"keywords":[],"search_terms":["formal","knowledge","engineering","planning","pre","post","design","analysis","silva","silva","vaquero"],"title":"Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis","year":2020}