@Proceedings{artikis_et_al:LIPIcs.TIME.2022,
title = {{LIPIcs, Volume 247, TIME 2022, Complete Volume}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {1--222},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022},
URN = {urn:nbn:de:0030-drops-172469},
doi = {10.4230/LIPIcs.TIME.2022},
annote = {Keywords: LIPIcs, Volume 247, TIME 2022, Complete Volume}
}
@InProceedings{artikis_et_al:LIPIcs.TIME.2022.0,
author = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.0},
URN = {urn:nbn:de:0030-drops-172473},
doi = {10.4230/LIPIcs.TIME.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{vardi:LIPIcs.TIME.2022.1,
author = {Vardi, Moshe Y.},
title = {{Linear Temporal Logic: From Infinite to Finite Horizon}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.1},
URN = {urn:nbn:de:0030-drops-172481},
doi = {10.4230/LIPIcs.TIME.2022.1},
annote = {Keywords: Temporal Logic}
}
@InProceedings{miksch:LIPIcs.TIME.2022.2,
author = {Miksch, Silvia},
title = {{Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.2},
URN = {urn:nbn:de:0030-drops-172490},
doi = {10.4230/LIPIcs.TIME.2022.2},
annote = {Keywords: Visual Analytics, Visualization, Time}
}
@InProceedings{vansummeren:LIPIcs.TIME.2022.3,
author = {Vansummeren, Stijn},
title = {{Getting to the CORE of Complex Event Recognition}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {3:1--3:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.3},
URN = {urn:nbn:de:0030-drops-172503},
doi = {10.4230/LIPIcs.TIME.2022.3},
annote = {Keywords: Complex Event Recognition, automata, enumeration-based query processing}
}
@InProceedings{mackey_et_al:LIPIcs.TIME.2022.4,
author = {Mackey, Isaac and Chimni, Raghubir and Su, Jianwen},
title = {{Early Detection of Temporal Constraint Violations}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {4:1--4:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.4},
URN = {urn:nbn:de:0030-drops-172519},
doi = {10.4230/LIPIcs.TIME.2022.4},
annote = {Keywords: temporal constraints, monitoring, events, early violation detection}
}
@InProceedings{bruse_et_al:LIPIcs.TIME.2022.5,
author = {Bruse, Florian and Lange, Martin and Lozes, Etienne},
title = {{The Tail-Recursive Fragment of Timed Recursive CTL}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.5},
URN = {urn:nbn:de:0030-drops-172527},
doi = {10.4230/LIPIcs.TIME.2022.5},
annote = {Keywords: formal specification, temporal logic, real-time systems}
}
@InProceedings{roussanaly_et_al:LIPIcs.TIME.2022.6,
author = {Roussanaly, Victor and Falcone, Yli\`{e}s},
title = {{Decentralised Runtime Verification of Timed Regular Expressions}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {6:1--6:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.6},
URN = {urn:nbn:de:0030-drops-172532},
doi = {10.4230/LIPIcs.TIME.2022.6},
annote = {Keywords: Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication}
}
@InProceedings{guyet_et_al:LIPIcs.TIME.2022.7,
author = {Guyet, Thomas and Markey, Nicolas},
title = {{Logical Forms of Chronicles}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.7},
URN = {urn:nbn:de:0030-drops-172542},
doi = {10.4230/LIPIcs.TIME.2022.7},
annote = {Keywords: temporal logics, temporal models}
}
@InProceedings{bhaskar_et_al:LIPIcs.TIME.2022.8,
author = {Bhaskar, Ashwin and Praveen, M.},
title = {{Realizability Problem for Constraint LTL}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {8:1--8:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.8},
URN = {urn:nbn:de:0030-drops-172556},
doi = {10.4230/LIPIcs.TIME.2022.8},
annote = {Keywords: Realizability, constraint LTL, Strategy trees, Tree automata}
}
@InProceedings{peltier:LIPIcs.TIME.2022.9,
author = {Peltier, Nicolas},
title = {{Reasoning on Dynamic Transformations of Symbolic Heaps}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {9:1--9:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.9},
URN = {urn:nbn:de:0030-drops-172566},
doi = {10.4230/LIPIcs.TIME.2022.9},
annote = {Keywords: Separation Logic, Symbolic Heaps, Linear Temporal Logic}
}
@InProceedings{guelev:LIPIcs.TIME.2022.10,
author = {Guelev, Dimitar P.},
title = {{Gabbay Separation for the Duration Calculus}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {10:1--10:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.10},
URN = {urn:nbn:de:0030-drops-172578},
doi = {10.4230/LIPIcs.TIME.2022.10},
annote = {Keywords: Gabbay separation, Neighbourhood Logic, Duration Calculus, expanding modalities}
}
@InProceedings{bozzelli_et_al:LIPIcs.TIME.2022.11,
author = {Bozzelli, Laura and Peron, Adriano},
title = {{A Quantitative Extension of Interval Temporal Logic over Infinite Words}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.11},
URN = {urn:nbn:de:0030-drops-172585},
doi = {10.4230/LIPIcs.TIME.2022.11},
annote = {Keywords: Interval temporal logic, Homogeneity Assumption, Quantitative Constraints, Model checking, Decision Procedures, Complexity issues, Linear-time Hybrid Logics}
}
@InProceedings{apriceno_et_al:LIPIcs.TIME.2022.12,
author = {Apriceno, Gianluca and Passerini, Andrea and Serafini, Luciano},
title = {{A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {12:1--12:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.12},
URN = {urn:nbn:de:0030-drops-172594},
doi = {10.4230/LIPIcs.TIME.2022.12},
annote = {Keywords: structured events, temporal event detection, neuro-symbolic integration}
}
@InProceedings{pagliarini_et_al:LIPIcs.TIME.2022.13,
author = {Pagliarini, Giovanni and Scaboro, Simone and Serra, Giuseppe and Sciavicco, Guido and Stan, Ionel Eduard},
title = {{Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.13},
URN = {urn:nbn:de:0030-drops-172607},
doi = {10.4230/LIPIcs.TIME.2022.13},
annote = {Keywords: Machine learning, neural-symbolic, temporal logic, hybrid temporal decision trees}
}
@InProceedings{benerecetti_et_al:LIPIcs.TIME.2022.14,
author = {Benerecetti, Massimo and Mogavero, Fabio and Peron, Adriano},
title = {{Taming Strategy Logic: Non-Recurrent Fragments}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.14},
URN = {urn:nbn:de:0030-drops-172611},
doi = {10.4230/LIPIcs.TIME.2022.14},
annote = {Keywords: Strategic Reasoning, Multi-Agent Systems, Temporal Logics, Satisfiability}
}
@InProceedings{gutierrez_et_al:LIPIcs.TIME.2022.15,
author = {Gutierrez, Julian and Kraus, Sarit and Perelli, Giuseppe and Wooldridge, Michael},
title = {{Giving Instructions in Linear Temporal Logic}},
booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
pages = {15:1--15:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-262-4},
ISSN = {1868-8969},
year = {2022},
volume = {247},
editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.15},
URN = {urn:nbn:de:0030-drops-172622},
doi = {10.4230/LIPIcs.TIME.2022.15},
annote = {Keywords: Linear Temporal Logic, Synthesis, Game theory, Multi-Agent Systems}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing