Hybrid temporal situation calculus. Batusov, V., De Giacomo, G., & Soutchanski, M. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pages 1162–1164, 2019. Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}