Abstract is missing.
- A Game-Theoretic Approach to Timeline-Based Planning with UncertaintyNicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds. [doi]
- Deciding the Consistency of Branching Time Interval NetworksMarco Gavanelli, Alessandro Passantino, Guido Sciavicco. [doi]
- Results on Alternating-Time Temporal Logics with Linear PastLaura Bozzelli, Aniello Murano, Loredana Sorrentino. [doi]
- Population Based Methods for Optimising Infinite Behaviours of Timed AutomataLewis Tolonen, Tim French 0002, Mark Reynolds. [doi]
- Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with UncertaintyLuke Hunsberger, Roberto Posenato. [doi]
- GSM+T: A Timed Artifact-Centric Process ModelJulius Köpke, Johann Eder, Jianwen Su. [doi]
- Computational Complexity of a Core Fragment of Halpern-Shoham LogicPrzemyslaw Andrzej Walega. [doi]
- Learning Qualitative Constraint NetworksMalek Mouhoub, Hamad Al Marri, Eisa Alanazi. [doi]
- A Stream Reasoning System for Maritime MonitoringGeorgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, George A. Vouros. [doi]
- Database Technology for Processing Temporal Data (Invited Paper)Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen. [doi]
- On Temporal and Separation Logics (Invited Paper)Stéphane Demri. [doi]
- Algebraic Operators for Processing Sets of Temporal Intervals in Relational DatabasesAndreas Dohr, Christiane Engels, Andreas Behrend. [doi]
- On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability FrontierCarlo Comin, Romeo Rizzi. [doi]
- Extending Conditional Simple Temporal Networks with Partially Shrinkable UncertaintyCarlo Combi, Roberto Posenato. [doi]
- Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau ApproachAlexander Bolotov, Montserrat Hermo, Paqui Lucio. [doi]
- Predicting the Evolution of Communities with Online Inductive Logic ProgrammingGeorge Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, Nikos Katzouris. [doi]
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC CheckingLuke Hunsberger, Roberto Posenato. [doi]
- Faster Dynamic Controllability Checking for Simple Temporal Networks with UncertaintyMassimo Cairo, Luke Hunsberger, Romeo Rizzi. [doi]
- On the Expressive Power of Hybrid Branching-Time LogicsDaniel Kernberger, Martin Lange. [doi]
- A Temporal Logic for Modelling Activities of Daily LivingMalte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk. [doi]
- Extracting Interval Temporal Logic Rules: A First ApproachDavide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco. [doi]
- Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper)Wojciech Jamroga. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion RecognitionPattreeya Tanisaro, Gunther Heidemann. [doi]