@inproceedings{DBLP:conf/sac/BatusovGS19,
  author    = {Vitaliy Batusov and
               Giuseppe {De Giacomo} and
               Mikhail Soutchanski},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/sac/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":"rDeuroEvSE2ackKwb","bibbaseid":"batusov-degiacomo-soutchanski-hybridtemporalsituationcalculus-2019","authorIDs":[],"author_short":["Batusov, V.","De Giacomo, G.","Soutchanski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vitaliy"],"propositions":[],"lastnames":["Batusov"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Mikhail"],"propositions":[],"lastnames":["Soutchanski"],"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","year":"2019","crossref":"DBLP:conf/sac/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 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 year = {2019},\n crossref = {DBLP:conf/sac/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.","De Giacomo, G.","Soutchanski, M."],"key":"DBLP:conf/sac/BatusovGS19","id":"DBLP:conf/sac/BatusovGS19","bibbaseid":"batusov-degiacomo-soutchanski-hybridtemporalsituationcalculus-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3297280.3297578"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.346Z","downloads":0,"keywords":[],"search_terms":["hybrid","temporal","situation","calculus","batusov","de giacomo","soutchanski"],"title":"Hybrid temporal situation calculus","year":2019,"dataSources":["a7J9cXfn5aGm5Rka2"]}