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