@article{DBLP:journals/tplp/BistarelliTM23,
  author       = {Stefano Bistarelli and
                  Carlo Taticchi and
                  Maria Chiara Meo},
  title        = {An Interleaving Semantics of the Timed Concurrent Language for Argumentation
                  to Model Debates and Dialogue Games},
  journal      = {Theory Pract. Log. Program.},
  volume       = {23},
  number       = {6},
  pages        = {1307--1333},
  year         = {2023},
  url          = {https://doi.org/10.1017/s1471068423000194},
  doi          = {10.1017/S1471068423000194},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BistarelliTM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LYNfKQimDH2ubQP2h","bibbaseid":"bistarelli-taticchi-meo-aninterleavingsemanticsofthetimedconcurrentlanguageforargumentationtomodeldebatesanddialoguegames-2023","author_short":["Bistarelli, S.","Taticchi, C.","Meo, M. C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Carlo"],"propositions":[],"lastnames":["Taticchi"],"suffixes":[]},{"firstnames":["Maria","Chiara"],"propositions":[],"lastnames":["Meo"],"suffixes":[]}],"title":"An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games","journal":"Theory Pract. Log. Program.","volume":"23","number":"6","pages":"1307–1333","year":"2023","url":"https://doi.org/10.1017/s1471068423000194","doi":"10.1017/S1471068423000194","timestamp":"Sat, 16 Mar 2024 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tplp/BistarelliTM23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tplp/BistarelliTM23,\n author = {Stefano Bistarelli and\n Carlo Taticchi and\n Maria Chiara Meo},\n title = {An Interleaving Semantics of the Timed Concurrent Language for Argumentation\n to Model Debates and Dialogue Games},\n journal = {Theory Pract. Log. Program.},\n volume = {23},\n number = {6},\n pages = {1307--1333},\n year = {2023},\n url = {https://doi.org/10.1017/s1471068423000194},\n doi = {10.1017/S1471068423000194},\n timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tplp/BistarelliTM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Taticchi, C.","Meo, M. C."],"key":"DBLP:journals/tplp/BistarelliTM23","id":"DBLP:journals/tplp/BistarelliTM23","bibbaseid":"bistarelli-taticchi-meo-aninterleavingsemanticsofthetimedconcurrentlanguageforargumentationtomodeldebatesanddialoguegames-2023","role":"author","urls":{"Paper":"https://doi.org/10.1017/s1471068423000194"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/169/0459.bib","dataSources":["MFSet9Xjv8Bus8C6r","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4"],"keywords":[],"search_terms":["interleaving","semantics","timed","concurrent","language","argumentation","model","debates","dialogue","games","bistarelli","taticchi","meo"],"title":"An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games","year":2023}