@Proceedings{munozvelasco_et_al:LIPIcs.TIME.2020,
title = {{LIPIcs, Volume 178, TIME 2020, Complete Volume}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {1--292},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020},
URN = {urn:nbn:de:0030-drops-129670},
doi = {10.4230/LIPIcs.TIME.2020},
annote = {Keywords: LIPIcs, Volume 178, TIME 2020, Complete Volume}
}
@InProceedings{munozvelasco_et_al:LIPIcs.TIME.2020.0,
author = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.0},
URN = {urn:nbn:de:0030-drops-129688},
doi = {10.4230/LIPIcs.TIME.2020.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{dixon:LIPIcs.TIME.2020.1,
author = {Dixon, Clare},
title = {{Verifying Autonomous Robots: Challenges and Reflections}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {1:1--1:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.1},
URN = {urn:nbn:de:0030-drops-129697},
doi = {10.4230/LIPIcs.TIME.2020.1},
annote = {Keywords: Verification, Autonomous Robots}
}
@InProceedings{cabalar:LIPIcs.TIME.2020.2,
author = {Cabalar, Pedro},
title = {{Temporal Modalities in Answer Set Programming}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {2:1--2:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.2},
URN = {urn:nbn:de:0030-drops-129707},
doi = {10.4230/LIPIcs.TIME.2020.2},
annote = {Keywords: Logic Programming, Temporal Logic, Answer Set Programming, Modal Logic}
}
@InProceedings{eder_et_al:LIPIcs.TIME.2020.3,
author = {Eder, Johann and Franceschetti, Marco},
title = {{Time and Business Process Management: Problems, Achievements, Challenges}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {3:1--3:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.3},
URN = {urn:nbn:de:0030-drops-129716},
doi = {10.4230/LIPIcs.TIME.2020.3},
annote = {Keywords: Business Process management, Temporal constraints, Scheduling, Process Evolution, Probabilistic Controllability}
}
@InProceedings{franceschetti_et_al:LIPIcs.TIME.2020.4,
author = {Franceschetti, Marco and Eder, Johann},
title = {{Negotiating Temporal Commitments in Cross-Organizational Business Processes}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {4:1--4:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.4},
URN = {urn:nbn:de:0030-drops-129729},
doi = {10.4230/LIPIcs.TIME.2020.4},
annote = {Keywords: Cross-organizational processes, Temporal parameters, Range negotiation}
}
@InProceedings{bertagnon_et_al:LIPIcs.TIME.2020.5,
author = {Bertagnon, Alessandro and Gavanelli, Marco and Passantino, Alessandro and Sciavicco, Guido and Trevisani, Stefano},
title = {{The Horn Fragment of Branching Algebra}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.5},
URN = {urn:nbn:de:0030-drops-129736},
doi = {10.4230/LIPIcs.TIME.2020.5},
annote = {Keywords: Constraint programming, Consistency, Branching time, Horn Fragment}
}
@InProceedings{bruse_et_al:LIPIcs.TIME.2020.6,
author = {Bruse, Florian and Lange, Martin},
title = {{Temporal Logic with Recursion}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {6:1--6:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.6},
URN = {urn:nbn:de:0030-drops-129748},
doi = {10.4230/LIPIcs.TIME.2020.6},
annote = {Keywords: formal specification, temporal logic, expressive power}
}
@InProceedings{ilie_et_al:LIPIcs.TIME.2020.7,
author = {Ilie, Catalin-Andrei and Worrell, James Ben},
title = {{Parametric Model Checking Continuous-Time Markov Chains}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {7:1--7:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.7},
URN = {urn:nbn:de:0030-drops-129752},
doi = {10.4230/LIPIcs.TIME.2020.7},
annote = {Keywords: Probabilistic Continuous Stochastic Logic, Continuous-time Markov Chains, model checking, Schanuel’s Conjecture, positivity problem}
}
@InProceedings{cheng_et_al:LIPIcs.TIME.2020.8,
author = {Cheng, Zehui and Kolaitis, Phokion G.},
title = {{Universal Solutions in Temporal Data Exchange}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.8},
URN = {urn:nbn:de:0030-drops-129763},
doi = {10.4230/LIPIcs.TIME.2020.8},
annote = {Keywords: temporal databases, database dependencies, data exchange, universal solutions, abstract time, concrete time, Allen’s relations}
}
@InProceedings{sciavicco_et_al:LIPIcs.TIME.2020.9,
author = {Sciavicco, Guido and Stan, Ionel Eduard},
title = {{Knowledge Extraction with Interval Temporal Logic Decision Trees}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {9:1--9:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.9},
URN = {urn:nbn:de:0030-drops-129776},
doi = {10.4230/LIPIcs.TIME.2020.9},
annote = {Keywords: Interval Temporal Logic, Decision Trees, Explainable AI, Time series}
}
@InProceedings{suzanne_et_al:LIPIcs.TIME.2020.10,
author = {Suzanne, Aur\'{e}lie and Raschia, Guillaume and Martinez, Jos\'{e} and Tassetti, Damien},
title = {{Window-Slicing Techniques Extended to Spanning-Event Streams}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {10:1--10:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.10},
URN = {urn:nbn:de:0030-drops-129783},
doi = {10.4230/LIPIcs.TIME.2020.10},
annote = {Keywords: Data Stream, Spanning-events, Temporal Aggregates, Sliding Windows}
}
@InProceedings{sciavicco_et_al:LIPIcs.TIME.2020.11,
author = {Sciavicco, Guido and Zavatteri, Matteo and Villa, Tiziano},
title = {{Mining Significant Temporal Networks Is Polynomial}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {11:1--11:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.11},
URN = {urn:nbn:de:0030-drops-129792},
doi = {10.4230/LIPIcs.TIME.2020.11},
annote = {Keywords: Mining temporal constraints, cstnud, uncertainty, significant temporal network}
}
@InProceedings{sioutis_et_al:LIPIcs.TIME.2020.12,
author = {Sioutis, Michael and Wolter, Diedrich},
title = {{Dynamic Branching in Qualitative Constraint Networks via Counting Local Models}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {12:1--12:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.12},
URN = {urn:nbn:de:0030-drops-129802},
doi = {10.4230/LIPIcs.TIME.2020.12},
annote = {Keywords: Qualitative constraints, spatial and temporal reasoning, counting local models, dynamic branching, adaptive algorithm}
}
@InProceedings{guyomarch_et_al:LIPIcs.TIME.2020.13,
author = {Guyomarc'h, Jean and Guerret, Fran\c{c}ois and El Mejjati, Bilal and Ohayon, Emmanuel and Vincke, Bastien and M\'{e}rigot, Alain},
title = {{Non-Simultaneity as a Design Constraint}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.13},
URN = {urn:nbn:de:0030-drops-129819},
doi = {10.4230/LIPIcs.TIME.2020.13},
annote = {Keywords: Temporal reasoning, Temporal constraints, Specification and verification of systems}
}
@InProceedings{abuin_et_al:LIPIcs.TIME.2020.14,
author = {Abuin, Alex and Bolotov, Alexander and Hermo, Montserrat and Lucio, Paqui},
title = {{One-Pass Context-Based Tableaux Systems for CTL and ECTL}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {14:1--14:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.14},
URN = {urn:nbn:de:0030-drops-129824},
doi = {10.4230/LIPIcs.TIME.2020.14},
annote = {Keywords: Temporal logic, fairness, expressiveness, branching-time}
}
@InProceedings{nguyenvan_et_al:LIPIcs.TIME.2020.15,
author = {Nguyen Van, Hai and Boulanger, Fr\'{e}d\'{e}ric and Wolff, Burkhart},
title = {{TESL: A Model with Metric Time for Modeling and Simulation}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.15},
URN = {urn:nbn:de:0030-drops-129837},
doi = {10.4230/LIPIcs.TIME.2020.15},
annote = {Keywords: Timed Systems, Semantics, Models, Simulation}
}
@InProceedings{dellamonica_et_al:LIPIcs.TIME.2020.16,
author = {Della Monica, Dario and Gigante, Nicola and La Torre, Salvatore and Montanari, Angelo},
title = {{Complexity of Qualitative Timeline-Based Planning}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {16:1--16:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.16},
URN = {urn:nbn:de:0030-drops-129847},
doi = {10.4230/LIPIcs.TIME.2020.16},
annote = {Keywords: Timeline-based planning, qualitative temporal constraints, complexity}
}
@InProceedings{bednarczyk_et_al:LIPIcs.TIME.2020.17,
author = {Bednarczyk, Bartosz and Witkowski, Piotr},
title = {{A Note on C² Interpreted over Finite Data-Words}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {17:1--17:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.17},
URN = {urn:nbn:de:0030-drops-129850},
doi = {10.4230/LIPIcs.TIME.2020.17},
annote = {Keywords: Two-variable logic, data-words, VASS, decidability, undecidability, counting}
}
@InProceedings{hellings_et_al:LIPIcs.TIME.2020.18,
author = {Hellings, Jelle and Wu, Yuqing},
title = {{Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {18:1--18:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.18},
URN = {urn:nbn:de:0030-drops-129869},
doi = {10.4230/LIPIcs.TIME.2020.18},
annote = {Keywords: Cache-friendly temporal joins, temporal data, skewed data, stab-queries, temporal indices}
}
@InProceedings{chafik_et_al:LIPIcs.TIME.2020.19,
author = {Chafik, Anasse and Cheikh-Alili, Fahima and Condotta, Jean-Fran\c{c}ois and Varzinczak, Ivan},
title = {{On the Decidability of a Fragment of preferential LTL}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {19:1--19:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.19},
URN = {urn:nbn:de:0030-drops-129871},
doi = {10.4230/LIPIcs.TIME.2020.19},
annote = {Keywords: Knowledge Representation, non-monotonic reasoning, temporal logic}
}
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