Fast(er) Reasoning in Interval Temporal Logic. Bresolin, D., Muñoz-Velasco, E., & Sciavicco, G. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82, of Leibniz International Proceedings in Informatics (LIPIcs), pages 17:1–17:17, Stoccolma, Svezia, 2017. Paper doi bibtex @inproceedings{csl2017,
Address = {Stoccolma, Svezia},
Annote = {Keywords: Temporal Logic, Horn Fragments, Satisfiability, Complexity},
Author = {Davide Bresolin and Emilio Mu{\~n}oz-Velasco and Guido Sciavicco},
Booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
Date-Added = {2017-09-25 13:43:15 +0000},
Date-Modified = {2017-09-25 13:45:33 +0000},
Doi = {10.4230/LIPIcs.CSL.2017.17},
Isbn = {978-3-95977-045-3},
Issn = {1868-8969},
Pages = {17:1--17:17},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Title = {{Fast(er) Reasoning in Interval Temporal Logic}},
Url = {http://drops.dagstuhl.de/opus/volltexte/2017/7678},
Urn = {urn:nbn:de:0030-drops-76782},
Volume = {82},
Year = {2017},
Bdsk-Url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7678},
Bdsk-Url-2 = {http://dx.doi.org/10.4230/LIPIcs.CSL.2017.17}}
Downloads: 0
{"_id":"omhZvkjMDDGdcvJcr","bibbaseid":"bresolin-muozvelasco-sciavicco-fasterreasoninginintervaltemporallogic-2017","author_short":["Bresolin, D.","Muñoz-Velasco, E.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Stoccolma, Svezia","annote":"Keywords: Temporal Logic, Horn Fragments, Satisfiability, Complexity","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["Emilio"],"propositions":[],"lastnames":["Muñoz-Velasco"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"booktitle":"26th EACSL Annual Conference on Computer Science Logic (CSL 2017)","date-added":"2017-09-25 13:43:15 +0000","date-modified":"2017-09-25 13:45:33 +0000","doi":"10.4230/LIPIcs.CSL.2017.17","isbn":"978-3-95977-045-3","issn":"1868-8969","pages":"17:1–17:17","series":"Leibniz International Proceedings in Informatics (LIPIcs)","title":"Fast(er) Reasoning in Interval Temporal Logic","url":"http://drops.dagstuhl.de/opus/volltexte/2017/7678","urn":"urn:nbn:de:0030-drops-76782","volume":"82","year":"2017","bdsk-url-1":"http://drops.dagstuhl.de/opus/volltexte/2017/7678","bdsk-url-2":"http://dx.doi.org/10.4230/LIPIcs.CSL.2017.17","bibtex":"@inproceedings{csl2017,\n\tAddress = {Stoccolma, Svezia},\n\tAnnote = {Keywords: Temporal Logic, Horn Fragments, Satisfiability, Complexity},\n\tAuthor = {Davide Bresolin and Emilio Mu{\\~n}oz-Velasco and Guido Sciavicco},\n\tBooktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},\n\tDate-Added = {2017-09-25 13:43:15 +0000},\n\tDate-Modified = {2017-09-25 13:45:33 +0000},\n\tDoi = {10.4230/LIPIcs.CSL.2017.17},\n\tIsbn = {978-3-95977-045-3},\n\tIssn = {1868-8969},\n\tPages = {17:1--17:17},\n\tSeries = {Leibniz International Proceedings in Informatics (LIPIcs)},\n\tTitle = {{Fast(er) Reasoning in Interval Temporal Logic}},\n\tUrl = {http://drops.dagstuhl.de/opus/volltexte/2017/7678},\n\tUrn = {urn:nbn:de:0030-drops-76782},\n\tVolume = {82},\n\tYear = {2017},\n\tBdsk-Url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/7678},\n\tBdsk-Url-2 = {http://dx.doi.org/10.4230/LIPIcs.CSL.2017.17}}\n\n","author_short":["Bresolin, D.","Muñoz-Velasco, E.","Sciavicco, G."],"key":"csl2017","id":"csl2017","bibbaseid":"bresolin-muozvelasco-sciavicco-fasterreasoninginintervaltemporallogic-2017","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2017/7678"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["fast","reasoning","interval","temporal","logic","bresolin","muñoz-velasco","sciavicco"],"title":"Fast(er) Reasoning in Interval Temporal Logic","year":2017}