@Proceedings{alechina_et_al:LIPIcs.TIME.2018,
title = {{LIPIcs, Volume 120, TIME'18, Complete Volume}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018},
URN = {urn:nbn:de:0030-drops-98443},
doi = {10.4230/LIPIcs.TIME.2018},
annote = {Keywords: Theory of computation, Logic, Information systems, Temporal data, Computing methodologies, Knowledge representation and reasoning}
}
@InProceedings{alechina_et_al:LIPIcs.TIME.2018.0,
author = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.0},
URN = {urn:nbn:de:0030-drops-97654},
doi = {10.4230/LIPIcs.TIME.2018.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{demri:LIPIcs.TIME.2018.1,
author = {Demri, St\'{e}phane},
title = {{On Temporal and Separation Logics}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {1:1--1:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.1},
URN = {urn:nbn:de:0030-drops-97662},
doi = {10.4230/LIPIcs.TIME.2018.1},
annote = {Keywords: separation logics, temporal logics, expressive power}
}
@InProceedings{bohlen_et_al:LIPIcs.TIME.2018.2,
author = {B\"{o}hlen, Michael H. and Dign\"{o}s, Anton and Gamper, Johann and Jensen, Christian S.},
title = {{Database Technology for Processing Temporal Data}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {2:1--2:7},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.2},
URN = {urn:nbn:de:0030-drops-97674},
doi = {10.4230/LIPIcs.TIME.2018.2},
annote = {Keywords: Temporal databases, temporal query processing, sequenced semantics, SQL}
}
@InProceedings{jamroga:LIPIcs.TIME.2018.3,
author = {Jamroga, Wojciech},
title = {{Model Checking Strategic Ability - Why, What, and Especially: How?}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {3:1--3:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.3},
URN = {urn:nbn:de:0030-drops-97681},
doi = {10.4230/LIPIcs.TIME.2018.3},
annote = {Keywords: model checking, strategic ability, alternating-time temporal logic, imperfect information games, approximate verification, model reductions}
}
@InProceedings{athanasopoulos_et_al:LIPIcs.TIME.2018.4,
author = {Athanasopoulos, George and Paliouras, George and Vogiatzis, Dimitrios and Tzortzis, Grigorios and Katzouris, Nikos},
title = {{Predicting the Evolution of Communities with Online Inductive Logic Programming}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {4:1--4:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.4},
URN = {urn:nbn:de:0030-drops-97691},
doi = {10.4230/LIPIcs.TIME.2018.4},
annote = {Keywords: Social Network Analysis, Community Evolution Prediction, Machine Learning, Inductive Logic Programming, Event Calculus, Online Learning}
}
@InProceedings{bolotov_et_al:LIPIcs.TIME.2018.5,
author = {Bolotov, Alexander and Hermo, Montserrat and Lucio, Paqui},
title = {{Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {5:1--5:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.5},
URN = {urn:nbn:de:0030-drops-97704},
doi = {10.4230/LIPIcs.TIME.2018.5},
annote = {Keywords: Temporal logic, fairness, tableau, branching-time, one-pass tableau}
}
@InProceedings{bozzelli_et_al:LIPIcs.TIME.2018.6,
author = {Bozzelli, Laura and Murano, Aniello and Sorrentino, Loredana},
title = {{Results on Alternating-Time Temporal Logics with Linear Past}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.6},
URN = {urn:nbn:de:0030-drops-97714},
doi = {10.4230/LIPIcs.TIME.2018.6},
annote = {Keywords: Alternating-time temporal logics, Linear Past, Model Checking}
}
@InProceedings{bresolin_et_al:LIPIcs.TIME.2018.7,
author = {Bresolin, Davide and Cominato, Enrico and Gnani, Simone and Mu\~{n}oz-Velasco, Emilio and Sciavicco, Guido},
title = {{Extracting Interval Temporal Logic Rules: A First Approach}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.7},
URN = {urn:nbn:de:0030-drops-97728},
doi = {10.4230/LIPIcs.TIME.2018.7},
annote = {Keywords: Interval temporal logic, Horn fragment, Rule extraction}
}
@InProceedings{cairo_et_al:LIPIcs.TIME.2018.8,
author = {Cairo, Massimo and Hunsberger, Luke and Rizzi, Romeo},
title = {{Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {8:1--8:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.8},
URN = {urn:nbn:de:0030-drops-97734},
doi = {10.4230/LIPIcs.TIME.2018.8},
annote = {Keywords: Simple Temporal Networks with Uncertainty, Dynamic Controllability, Temporal Planning under Uncertainty}
}
@InProceedings{combi_et_al:LIPIcs.TIME.2018.9,
author = {Combi, Carlo and Posenato, Roberto},
title = {{Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {9:1--9:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.9},
URN = {urn:nbn:de:0030-drops-97740},
doi = {10.4230/LIPIcs.TIME.2018.9},
annote = {Keywords: Conditional Simple Temporal Networks with Uncertainty, Partial Shrinkable Temporal Constraint, Dynamic Controllability, Temporal Constraints}
}
@InProceedings{comin_et_al:LIPIcs.TIME.2018.10,
author = {Comin, Carlo and Rizzi, Romeo},
title = {{On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {10:1--10:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.10},
URN = {urn:nbn:de:0030-drops-97751},
doi = {10.4230/LIPIcs.TIME.2018.10},
annote = {Keywords: Restricted Disjuctive Temporal Problems, Simple Temporal Networks, Hyper Temporal Networks, Consistency Checking, Single-Source Shortest-Paths, 2-SAT}
}
@InProceedings{dohr_et_al:LIPIcs.TIME.2018.11,
author = {Dohr, Andreas and Engels, Christiane and Behrend, Andreas},
title = {{Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.11},
URN = {urn:nbn:de:0030-drops-97769},
doi = {10.4230/LIPIcs.TIME.2018.11},
annote = {Keywords: Temporal Databases, Relational Operators, Situation Calculus}
}
@InProceedings{gavanelli_et_al:LIPIcs.TIME.2018.12,
author = {Gavanelli, Marco and Passantino, Alessandro and Sciavicco, Guido},
title = {{Deciding the Consistency of Branching Time Interval Networks}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {12:1--12:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.12},
URN = {urn:nbn:de:0030-drops-97779},
doi = {10.4230/LIPIcs.TIME.2018.12},
annote = {Keywords: Constraint programming, Consistency, Branching time}
}
@InProceedings{gigante_et_al:LIPIcs.TIME.2018.13,
author = {Gigante, Nicola and Montanari, Angelo and Cialdea Mayer, Marta and Orlandini, Andrea and Reynolds, Mark},
title = {{A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.13},
URN = {urn:nbn:de:0030-drops-97786},
doi = {10.4230/LIPIcs.TIME.2018.13},
annote = {Keywords: Timeline-based planning with uncertainty, strategic games, decidability}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2018.14,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.14},
URN = {urn:nbn:de:0030-drops-97795},
doi = {10.4230/LIPIcs.TIME.2018.14},
annote = {Keywords: Temporal Networks, Conditional Simple Temporal Problem with Uncertainty, Dynamic Controllability, Checking Algorithm}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2018.15,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.15},
URN = {urn:nbn:de:0030-drops-97808},
doi = {10.4230/LIPIcs.TIME.2018.15},
annote = {Keywords: Conditional Simple Temporal Networks, Dynamic Consistency, Temporal Constraints}
}
@InProceedings{kernberger_et_al:LIPIcs.TIME.2018.16,
author = {Kernberger, Daniel and Lange, Martin},
title = {{On the Expressive Power of Hybrid Branching-Time Logics}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.16},
URN = {urn:nbn:de:0030-drops-97816},
doi = {10.4230/LIPIcs.TIME.2018.16},
annote = {Keywords: branching-time, mu-calculus, hybrid logics, expressiveness}
}
@InProceedings{klie_et_al:LIPIcs.TIME.2018.17,
author = {Klie{\ss}, Malte S. and Jonker, Catholijn M. and van Riemsdijk, M. Birna},
title = {{A Temporal Logic for Modelling Activities of Daily Living}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {17:1--17:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.17},
URN = {urn:nbn:de:0030-drops-97822},
doi = {10.4230/LIPIcs.TIME.2018.17},
annote = {Keywords: Temporal Logic, Reasoning, Durative Activities}
}
@InProceedings{kopke_et_al:LIPIcs.TIME.2018.18,
author = {K\"{o}pke, Julius and Eder, Johann and Su, Jianwen},
title = {{GSM+T: A Timed Artifact-Centric Process Model}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {18:1--18:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.18},
URN = {urn:nbn:de:0030-drops-97835},
doi = {10.4230/LIPIcs.TIME.2018.18},
annote = {Keywords: Guard Stage Milestone, GSM, Time Constraints, Controllability, Case Handling, Business Process Modeling}
}
@InProceedings{mouhoub_et_al:LIPIcs.TIME.2018.19,
author = {Mouhoub, Malek and Al Marri, Hamad and Alanazi, Eisa},
title = {{Learning Qualitative Constraint Networks}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {19:1--19:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.19},
URN = {urn:nbn:de:0030-drops-97849},
doi = {10.4230/LIPIcs.TIME.2018.19},
annote = {Keywords: Temporal Reasoning, Qualitative Constraint Network (QCN), Constraint Learning, Path Consistency, Constraint Propagation}
}
@InProceedings{santipantakis_et_al:LIPIcs.TIME.2018.20,
author = {Santipantakis, Georgios M. and Vlachou, Akrivi and Doulkeridis, Christos and Artikis, Alexander and Kontopoulos, Ioannis and Vouros, George A.},
title = {{A Stream Reasoning System for Maritime Monitoring}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {20:1--20:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.20},
URN = {urn:nbn:de:0030-drops-97858},
doi = {10.4230/LIPIcs.TIME.2018.20},
annote = {Keywords: event pattern matching, Event Calculus}
}
@InProceedings{tanisaro_et_al:LIPIcs.TIME.2018.21,
author = {Tanisaro, Pattreeya and Heidemann, Gunther},
title = {{An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {21:1--21:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.21},
URN = {urn:nbn:de:0030-drops-97865},
doi = {10.4230/LIPIcs.TIME.2018.21},
annote = {Keywords: Recurrent Neural Networks, Human Motion Classification, Echo State Networks, Motion Capture, Bidirectional Recurrent Neural Networks}
}
@InProceedings{tolonen_et_al:LIPIcs.TIME.2018.22,
author = {Tolonen, Lewis and French, Tim and Reynolds, Mark},
title = {{Population Based Methods for Optimising Infinite Behaviours of Timed Automata}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {22:1--22:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.22},
URN = {urn:nbn:de:0030-drops-97875},
doi = {10.4230/LIPIcs.TIME.2018.22},
annote = {Keywords: Timed Automata, Heuristic Search, Ant Colony Optimisation}
}
@InProceedings{walega:LIPIcs.TIME.2018.23,
author = {Walega, Przemyslaw Andrzej},
title = {{Computational Complexity of a Core Fragment of Halpern-Shoham Logic}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {23:1--23:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.23},
URN = {urn:nbn:de:0030-drops-97880},
doi = {10.4230/LIPIcs.TIME.2018.23},
annote = {Keywords: Temporal Logic, Interval Logic, Computational Complexity, Hybrid 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