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.
Fast(er) Reasoning in Interval Temporal Logic [link]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