@Proceedings{gamper_et_al:LIPIcs.TIME.2019,
title = {{LIPIcs, Volume 147, TIME'19, Complete Volume}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019},
URN = {urn:nbn:de:0030-drops-113887},
doi = {10.4230/LIPIcs.TIME.2019},
annote = {Keywords: Theory of computation, Logic; Information systems, Temporal data; Computing methodologies, Knowledge representation and reasoning}
}
@InProceedings{gamper_et_al:LIPIcs.TIME.2019.0,
author = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.0},
URN = {urn:nbn:de:0030-drops-113582},
doi = {10.4230/LIPIcs.TIME.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{bohlen_et_al:LIPIcs.TIME.2019.1,
author = {B\"{o}hlen, Michael H. and Saad, Muhammad},
title = {{Computing the Fourier Transformation over Temporal Data Streams}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {1:1--1:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.1},
URN = {urn:nbn:de:0030-drops-113595},
doi = {10.4230/LIPIcs.TIME.2019.1},
annote = {Keywords: Data streams, Fourier transform, time-varying data}
}
@InProceedings{saqueteboro:LIPIcs.TIME.2019.2,
author = {Saquete Bor\'{o}, Estela},
title = {{From Unstructured Data to Narrative Abstractive Summaries}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {2:1--2:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.2},
URN = {urn:nbn:de:0030-drops-113608},
doi = {10.4230/LIPIcs.TIME.2019.2},
annote = {Keywords: Narrative summarization, Abstractive summarization, Timeline Generation, Temporal Information Processing, Natural Language Generation}
}
@InProceedings{bouyer:LIPIcs.TIME.2019.3,
author = {Bouyer, Patricia},
title = {{On the Computation of Nash Equilibria in Games on Graphs}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {3:1--3:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.3},
URN = {urn:nbn:de:0030-drops-113616},
doi = {10.4230/LIPIcs.TIME.2019.3},
annote = {Keywords: Multiplayer games, Nash equilibria}
}
@InProceedings{walega_et_al:LIPIcs.TIME.2019.4,
author = {Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej and Zawidzki, Micha{\l}},
title = {{A Modal Logic for Subject-Oriented Spatial Reasoning}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {4:1--4:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.4},
URN = {urn:nbn:de:0030-drops-113622},
doi = {10.4230/LIPIcs.TIME.2019.4},
annote = {Keywords: spatial logic, modal logic, subject-oriented, computational complexity}
}
@InProceedings{combi_et_al:LIPIcs.TIME.2019.5,
author = {Combi, Carlo and Oliboni, Barbara and Sala, Pietro},
title = {{Customizing BPMN Diagrams Using Timelines}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {5:1--5:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.5},
URN = {urn:nbn:de:0030-drops-113630},
doi = {10.4230/LIPIcs.TIME.2019.5},
annote = {Keywords: Business Processes, BPMN, Timelines, Temporal Constraints}
}
@InProceedings{dealmeidaborges_et_al:LIPIcs.TIME.2019.6,
author = {de Almeida Borges, Ana and Conejero Rodr{\'\i}guez, Juan Jos\'{e} and Fern\'{a}ndez-Duque, David and Gonz\'{a}lez Bedmar, Mireia and Joosten, Joost J.},
title = {{The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {6:1--6:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.6},
URN = {urn:nbn:de:0030-drops-113649},
doi = {10.4230/LIPIcs.TIME.2019.6},
annote = {Keywords: linear temporal logic, monadic second order logic, formalized law, transport regulations}
}
@InProceedings{brandt_et_al:LIPIcs.TIME.2019.7,
author = {Brandt, Sebastian and Calvanese, Diego and Kalayc{\i}, Elem G\"{u}zel and Kontchakov, Roman and M\"{o}rzinger, Benjamin and Ryzhikov, Vladislav and Xiao, Guohui and Zakharyaschev, Michael},
title = {{Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.7},
URN = {urn:nbn:de:0030-drops-113658},
doi = {10.4230/LIPIcs.TIME.2019.7},
annote = {Keywords: Ontology-based data access, temporal logic, sensor log data}
}
@InProceedings{chekol_et_al:LIPIcs.TIME.2019.8,
author = {Chekol, Melisachew Wudage and Stuckenschmidt, Heiner},
title = {{Time-Aware Probabilistic Knowledge Graphs}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.8},
URN = {urn:nbn:de:0030-drops-113662},
doi = {10.4230/LIPIcs.TIME.2019.8},
annote = {Keywords: temporal, probabilistic, knowledge graph, OWL-RL}
}
@InProceedings{salhi:LIPIcs.TIME.2019.9,
author = {Salhi, Yakoub},
title = {{Qualitative Reasoning and Data Mining}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {9:1--9:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.9},
URN = {urn:nbn:de:0030-drops-113677},
doi = {10.4230/LIPIcs.TIME.2019.9},
annote = {Keywords: Qualitative Database, Qualitative Pattern Mining, Declarative Approach, SAT Modeling}
}
@InProceedings{lolipiccolomini_et_al:LIPIcs.TIME.2019.10,
author = {Loli Piccolomini, Elena and Gandolfi, Stefano and Poluzzi, Luca and Tavasci, Luca and Cascarano, Pasquale and Pascucci, Andrea},
title = {{Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {10:1--10:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.10},
URN = {urn:nbn:de:0030-drops-113687},
doi = {10.4230/LIPIcs.TIME.2019.10},
annote = {Keywords: Deep Neural Networks, Recurrent Neural Networks, Time Series Denoising, Time Series Prediction}
}
@InProceedings{hossain_et_al:LIPIcs.TIME.2019.11,
author = {Hossain, Akash and Laroussinie, Fran\c{c}ois},
title = {{From Quantified CTL to QBF}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {11:1--11:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.11},
URN = {urn:nbn:de:0030-drops-113699},
doi = {10.4230/LIPIcs.TIME.2019.11},
annote = {Keywords: Model-checking, Quantified CTL, QBF solvers, SAT based model-checking}
}
@InProceedings{abuin_et_al:LIPIcs.TIME.2019.12,
author = {Abuin, Alex and Bolotov, Alexander and D{\'\i}az de Cerio, Unai and Hermo, Montserrat and Lucio, Paqui},
title = {{Towards Certified Model Checking for PLTL Using One-Pass Tableaux}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {12:1--12:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.12},
URN = {urn:nbn:de:0030-drops-113702},
doi = {10.4230/LIPIcs.TIME.2019.12},
annote = {Keywords: Temporal logic, fairness, expressiveness, linear-time, Certified model checking}
}
@InProceedings{cerrito_et_al:LIPIcs.TIME.2019.13,
author = {Cerrito, Serenella and David, Am\'{e}lie and Goranko, Valentin},
title = {{Minimisation of Models Satisfying CTL Formulas}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.13},
URN = {urn:nbn:de:0030-drops-113718},
doi = {10.4230/LIPIcs.TIME.2019.13},
annote = {Keywords: CTL, model minimisation, bisimulation reduction, tableaux-based reduction}
}
@InProceedings{sioutis_et_al:LIPIcs.TIME.2019.14,
author = {Sioutis, Michael and Paparrizou, Anastasia and Janhunen, Tomi},
title = {{On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.14},
URN = {urn:nbn:de:0030-drops-113727},
doi = {10.4230/LIPIcs.TIME.2019.14},
annote = {Keywords: Qualitative constraints, spatial and temporal reasoning, singleton-style consistencies, neighbourhood, minimal labeling problem}
}
@InProceedings{peyras_et_al:LIPIcs.TIME.2019.15,
author = {Peyras, Quentin and Brunel, Julien and Chemouil, David},
title = {{A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.15},
URN = {urn:nbn:de:0030-drops-113731},
doi = {10.4230/LIPIcs.TIME.2019.15},
annote = {Keywords: First-Order Linear Temporal Logic, Bounded Domain Property, Finite Domain Property, Decidability}
}
@InProceedings{zavatteri_et_al:LIPIcs.TIME.2019.16,
author = {Zavatteri, Matteo and Combi, Carlo and Rizzi, Romeo and Vigan\`{o}, Luca},
title = {{Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {16:1--16:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.16},
URN = {urn:nbn:de:0030-drops-113748},
doi = {10.4230/LIPIcs.TIME.2019.16},
annote = {Keywords: Simple temporal network with decisions, HSCC algorithms, incremental SAT-solving, disjunctive temporal network, KAPPA}
}
@InProceedings{brunello_et_al:LIPIcs.TIME.2019.17,
author = {Brunello, Andrea and Montanari, Angelo and Reynolds, Mark},
title = {{Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {17:1--17:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.17},
URN = {urn:nbn:de:0030-drops-113756},
doi = {10.4230/LIPIcs.TIME.2019.17},
annote = {Keywords: Evolutionary algorithms, Machine learning, Natural language processing, Semantic parsing, Temporal logic}
}
@InProceedings{bozzelli_et_al:LIPIcs.TIME.2019.18,
author = {Bozzelli, Laura and Montanari, Angelo and Peron, Adriano},
title = {{Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.18},
URN = {urn:nbn:de:0030-drops-113768},
doi = {10.4230/LIPIcs.TIME.2019.18},
annote = {Keywords: Interval temporal logic, Model checking, Complexity and succinctness issues}
}
@InProceedings{cordero_et_al:LIPIcs.TIME.2019.19,
author = {Cordero, Pablo and Fortes, Inmaculada and de Guzm\'{a}n, Inmaculada P. and S\'{a}nchez, Sixto},
title = {{Simplifying Inductive Schemes in Temporal Logic}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {19:1--19:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.19},
URN = {urn:nbn:de:0030-drops-113773},
doi = {10.4230/LIPIcs.TIME.2019.19},
annote = {Keywords: Linear Temporal Logic, Inductive Schemes, Loop-check}
}
@InProceedings{ho_et_al:LIPIcs.TIME.2019.20,
author = {Ho, Hsi-Ming and Zhou, Ruoyu and Jones, Timothy M.},
title = {{On Verifying Timed Hyperproperties}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {20:1--20:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.20},
URN = {urn:nbn:de:0030-drops-113782},
doi = {10.4230/LIPIcs.TIME.2019.20},
annote = {Keywords: Timed Automata, Temporal Logics, Cybersecurity}
}
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