@article{DBLP:journals/ker/El-MenshawyBKYD15,
  author       = {Mohamed El{-}Menshawy and
                  Jamal Bentahar and
                  Warda El Kholy and
                  Pinar Yolum and
                  Rachida Dssouli},
  title        = {Computational logics and verification techniques of multi-agent commitments:
                  survey},
  journal      = {Knowl. Eng. Rev.},
  volume       = {30},
  number       = {5},
  pages        = {564--606},
  year         = {2015},
  url          = {https://doi.org/10.1017/S0269888915000065},
  doi          = {10.1017/S0269888915000065},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ker/El-MenshawyBKYD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gabwBukPoXmd8h7cH","bibbaseid":"elmenshawy-bentahar-kholy-yolum-dssouli-computationallogicsandverificationtechniquesofmultiagentcommitmentssurvey-2015","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["El-Menshawy, M.","Bentahar, J.","Kholy, W. E.","Yolum, P.","Dssouli, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mohamed"],"propositions":[],"lastnames":["El-Menshawy"],"suffixes":[]},{"firstnames":["Jamal"],"propositions":[],"lastnames":["Bentahar"],"suffixes":[]},{"firstnames":["Warda","El"],"propositions":[],"lastnames":["Kholy"],"suffixes":[]},{"firstnames":["Pinar"],"propositions":[],"lastnames":["Yolum"],"suffixes":[]},{"firstnames":["Rachida"],"propositions":[],"lastnames":["Dssouli"],"suffixes":[]}],"title":"Computational logics and verification techniques of multi-agent commitments: survey","journal":"Knowl. Eng. Rev.","volume":"30","number":"5","pages":"564–606","year":"2015","url":"https://doi.org/10.1017/S0269888915000065","doi":"10.1017/S0269888915000065","timestamp":"Mon, 05 Feb 2024 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/ker/El-MenshawyBKYD15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ker/El-MenshawyBKYD15,\n author = {Mohamed El{-}Menshawy and\n Jamal Bentahar and\n Warda El Kholy and\n Pinar Yolum and\n Rachida Dssouli},\n title = {Computational logics and verification techniques of multi-agent commitments:\n survey},\n journal = {Knowl. Eng. Rev.},\n volume = {30},\n number = {5},\n pages = {564--606},\n year = {2015},\n url = {https://doi.org/10.1017/S0269888915000065},\n doi = {10.1017/S0269888915000065},\n timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ker/El-MenshawyBKYD15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["El-Menshawy, M.","Bentahar, J.","Kholy, W. E.","Yolum, P.","Dssouli, R."],"key":"DBLP:journals/ker/El-MenshawyBKYD15","id":"DBLP:journals/ker/El-MenshawyBKYD15","bibbaseid":"elmenshawy-bentahar-kholy-yolum-dssouli-computationallogicsandverificationtechniquesofmultiagentcommitmentssurvey-2015","role":"author","urls":{"Paper":"https://doi.org/10.1017/S0269888915000065"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.246Z","downloads":0,"keywords":[],"search_terms":["computational","logics","verification","techniques","multi","agent","commitments","survey","el-menshawy","bentahar","kholy","yolum","dssouli"],"title":"Computational logics and verification techniques of multi-agent commitments: survey","year":2015,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}