@inproceedings{DBLP:conf/sac/BatusovGS19,
  author    = {Vitaliy Batusov and
               Giuseppe De Giacomo and
               Mikhail Soutchanski},
  editor    = {Chih{-}Cheng Hung and
               George A. Papadopoulos},
  title     = {Hybrid temporal situation calculus},
  booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
               {SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
  pages     = {1162--1164},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3297280.3297578},
  doi       = {10.1145/3297280.3297578},
  timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/BatusovGS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"bCJFhzdFFQ6nMjHD8","bibbaseid":"batusov-giacomo-soutchanski-hybridtemporalsituationcalculus-2019","author_short":["Batusov, V.","Giacomo, G. D.","Soutchanski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vitaliy"],"propositions":[],"lastnames":["Batusov"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Mikhail"],"propositions":[],"lastnames":["Soutchanski"],"suffixes":[]}],"editor":[{"firstnames":["Chih-Cheng"],"propositions":[],"lastnames":["Hung"],"suffixes":[]},{"firstnames":["George","A."],"propositions":[],"lastnames":["Papadopoulos"],"suffixes":[]}],"title":"Hybrid temporal situation calculus","booktitle":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019","pages":"1162–1164","publisher":"ACM","year":"2019","url":"https://doi.org/10.1145/3297280.3297578","doi":"10.1145/3297280.3297578","timestamp":"Sun, 02 Jun 2019 21:18:38 +0200","biburl":"https://dblp.org/rec/conf/sac/BatusovGS19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sac/BatusovGS19,\n author = {Vitaliy Batusov and\n Giuseppe De Giacomo and\n Mikhail Soutchanski},\n editor = {Chih{-}Cheng Hung and\n George A. Papadopoulos},\n title = {Hybrid temporal situation calculus},\n booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,\n {SAC} 2019, Limassol, Cyprus, April 8-12, 2019},\n pages = {1162--1164},\n publisher = {{ACM}},\n year = {2019},\n url = {https://doi.org/10.1145/3297280.3297578},\n doi = {10.1145/3297280.3297578},\n timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},\n biburl = {https://dblp.org/rec/conf/sac/BatusovGS19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Batusov, V.","Giacomo, G. D.","Soutchanski, M."],"editor_short":["Hung, C.","Papadopoulos, G. A."],"key":"DBLP:conf/sac/BatusovGS19","id":"DBLP:conf/sac/BatusovGS19","bibbaseid":"batusov-giacomo-soutchanski-hybridtemporalsituationcalculus-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3297280.3297578"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["hybrid","temporal","situation","calculus","batusov","giacomo","soutchanski"],"title":"Hybrid temporal situation calculus","year":2019}