LIPIcs, Volume 120, TIME 2018

• Natasha Alechina, Kjetil Nørvåg, and Wojciech Penczek LIPIcs, Volume 120, TIME'18, Complete Volume 10.4230/LIPIcs.TIME.2018
• Natasha Alechina, Kjetil Nørvåg, and Wojciech Penczek Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2018.0
• Stéphane Demri On Temporal and Separation Logics (Invited Paper) 10.4230/LIPIcs.TIME.2018.1
• Michael H. Böhlen, Anton Dignös, Johann Gamper, and Christian S. Jensen Database Technology for Processing Temporal Data (Invited Paper) 10.4230/LIPIcs.TIME.2018.2
• Wojciech Jamroga Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper) 10.4230/LIPIcs.TIME.2018.3
• George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, and Nikos Katzouris Predicting the Evolution of Communities with Online Inductive Logic Programming 10.4230/LIPIcs.TIME.2018.4
• Alexander Bolotov, Montserrat Hermo, and Paqui Lucio Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach 10.4230/LIPIcs.TIME.2018.5
• Laura Bozzelli, Aniello Murano, and Loredana Sorrentino Results on Alternating-Time Temporal Logics with Linear Past 10.4230/LIPIcs.TIME.2018.6
• Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, and Guido Sciavicco Extracting Interval Temporal Logic Rules: A First Approach 10.4230/LIPIcs.TIME.2018.7
• Massimo Cairo, Luke Hunsberger, and Romeo Rizzi Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty 10.4230/LIPIcs.TIME.2018.8
• Carlo Combi and Roberto Posenato Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 10.4230/LIPIcs.TIME.2018.9
• Carlo Comin and Romeo Rizzi On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier 10.4230/LIPIcs.TIME.2018.10
• Andreas Dohr, Christiane Engels, and Andreas Behrend Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases 10.4230/LIPIcs.TIME.2018.11
• Marco Gavanelli, Alessandro Passantino, and Guido Sciavicco Deciding the Consistency of Branching Time Interval Networks 10.4230/LIPIcs.TIME.2018.12
• Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, and Mark Reynolds A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty 10.4230/LIPIcs.TIME.2018.13
• Luke Hunsberger and Roberto Posenato Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 10.4230/LIPIcs.TIME.2018.14
• Luke Hunsberger and Roberto Posenato Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 10.4230/LIPIcs.TIME.2018.15
• Daniel Kernberger and Martin Lange On the Expressive Power of Hybrid Branching-Time Logics 10.4230/LIPIcs.TIME.2018.16
• Malte S. Kließ, Catholijn M. Jonker, and M. Birna van Riemsdijk A Temporal Logic for Modelling Activities of Daily Living 10.4230/LIPIcs.TIME.2018.17
• Julius Köpke, Johann Eder, and Jianwen Su GSM+T: A Timed Artifact-Centric Process Model 10.4230/LIPIcs.TIME.2018.18
• Malek Mouhoub, Hamad Al Marri, and Eisa Alanazi Learning Qualitative Constraint Networks 10.4230/LIPIcs.TIME.2018.19
• Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, and George A. Vouros A Stream Reasoning System for Maritime Monitoring 10.4230/LIPIcs.TIME.2018.20
• Pattreeya Tanisaro and Gunther Heidemann An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition 10.4230/LIPIcs.TIME.2018.21
• Lewis Tolonen, Tim French, and Mark Reynolds Population Based Methods for Optimising Infinite Behaviours of Timed Automata 10.4230/LIPIcs.TIME.2018.22
• Przemyslaw Andrzej Walega Computational Complexity of a Core Fragment of Halpern-Shoham Logic 10.4230/LIPIcs.TIME.2018.23