26Th International Symposium on Temporal Representation and Reasoning

26th International Symposium on Temporal Representation and Reasoning

TIME 2019, October 16–19, 2019, Málaga, Spain

Edited by Johann Gamper Sophie Pinchinat Guido Sciavicco

L I P I c s – Vo l . 147 – TIME 2019 w w w . d a g s t u h l . d e / l i p i c s Editors Johann Gamper Free University of Bozen-Bolzano, Italy [email protected] Sophie Pinchinat University of Rennes 1, France [email protected] Guido Sciavicco University of Ferrara, Italy [email protected]

ACM Classiﬁcation 2012 Theory of computation → Logic; Information systems → Temporal data; Computing methodologies → Knowledge representation and reasoning

ISBN 978-3-95977-127-6

Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at https://www.dagstuhl.de/dagpub/978-3-95977-127-6.

Publication date October, 2019

Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliograﬁe; detailed bibliographic data are available in the Internet at https://portal.dnb.de.

License This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): https://creativecommons.org/licenses/by/3.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors.

The copyright is retained by the corresponding authors.

Digital Object Identiﬁer: 10.4230/LIPIcs.TIME.2019.0

ISBN 978-3-95977-127-6 ISSN 1868-8969 https://www.dagstuhl.de/lipics 0:iii

LIPIcs – Leibniz International Proceedings in Informatics

LIPIcs is a series of high-quality conference proceedings across all ﬁelds in informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge.

Editorial Board Luca Aceto (Chair, Gran Sasso Science Institute and Reykjavik University) Christel Baier (TU Dresden) Mikolaj Bojanczyk (University of Warsaw) Roberto Di Cosmo (INRIA and University Paris Diderot) Javier Esparza (TU München) Meena Mahajan (Institute of Mathematical Sciences) Dieter van Melkebeek (University of Wisconsin-Madison) Anca Muscholl (University Bordeaux) Luke Ong (University of Oxford) Catuscia Palamidessi (INRIA) Thomas Schwentick (TU Dortmund) Raimund Seidel (Saarland University and Schloss Dagstuhl – Leibniz-Zentrum für Informatik)

ISSN 1868-8969 https://www.dagstuhl.de/lipics

T I M E 2 0 1 9

Contents

Preface Johann Gamper, Sophie Pinchinat, and Guido Sciavicco ...... 0:vii List of Authors ...... 0:ix–0:xii List of PC Members ...... 0:xiii

Invited Talks

Computing the Fourier Transformation over Temporal Data Streams Michael H. Böhlen and Muhammad Saad ...... 1:1–1:4 From Unstructured Data to Narrative Abstractive Summaries Estela Saquete Boró ...... 2:1–2:4 On the Computation of Nash Equilibria in Games on Graphs Patricia Bouyer ...... 3:1–3:3

Regular Paper

A Modal Logic for Subject-Oriented Spatial Reasoning Przemysław Andrzej Wałęga and Michał Zawidzki ...... 4:1–4:22 Customizing BPMN Diagrams Using Timelines Carlo Combi, Barbara Oliboni, and Pietro Sala ...... 5:1–5:17 The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten ...... 6:1–6:16 Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev 7:1–7:15 Time-Aware Probabilistic Knowledge Graphs Melisachew Wudage Chekol and Heiner Stuckenschmidt ...... 8:1–8:17 Qualitative Reasoning and Data Mining Yakoub Salhi ...... 9:1–9:15 Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, and Andrea Pascucci ...... 10:1–10:12 From Quantified CTL to QBF Akash Hossain and François Laroussinie ...... 11:1–11:20

26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Editors: Johann Gamper, Sophie Pinchinat, and Guido Sciavicco Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany 0:vi Contents

Towards Certiﬁed Model Checking for PLTL Using One-Pass Tableaux Alex Abuin, Alexander Bolotov, Unai Díaz de Cerio, Montserrat Hermo, and Paqui Lucio ...... 12:1–12:18 Minimisation of Models Satisfying CTL Formulas Serenella Cerrito, Amélie David, and Valentin Goranko ...... 13:1–13:15 On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning Michael Sioutis, Anastasia Paparrizou, and Tomi Janhunen ...... 14:1–14:17 A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic Quentin Peyras, Julien Brunel, and David Chemouil ...... 15:1–15:16 Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò ...... 16:1–16:17 Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions Andrea Brunello, Angelo Montanari, and Mark Reynolds ...... 17:1–17:19 Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic Laura Bozzelli, Angelo Montanari, and Adriano Peron ...... 18:1–18:17 Simplifying Inductive Schemes in Temporal Logic Pablo Cordero, Inmaculada Fortes, Inmaculada P. de Guzmán, and Sixto Sánchez 19:1–19:13 On Verifying Timed Hyperproperties Hsi-Ming Ho, Ruoyu Zhou, and Timothy M. Jones ...... 20:1–20:18 Preface

The 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) took place in Málaga, Spain, from the 16th to the 19th of October, 2019. This year’s edition was organized with the help of the University of Málaga, in particular the School of Industrial Engineering. TIME is a well-established symposium series which brings together researchers interested in reasoning about temporal aspects of information in all areas of computer science. The symposium aims to be interdisciplinary and to attract attendees from artificial intelligence, database management, logic and verification, and beyond. TIME 2019 received 25 research paper submissions from France, Sweden, Greece, Italy, Spain, UK, Poland, Germany, Romania, Lebanon, and Algeria, written by 80 different authors. We would like to thank all authors for submitting outstanding contributions to the conference. The submissions were carefully evaluated by the 23 members of the program committee, who deserve a warm thanks for their high-quality and timely handling of the reviews. Each submission was reviewed by at least three PC members (two in a few cases). At the end, 17 contributions were accepted for inclusion in the conference proceedings and presentation at the conference. The TIME 2019 scientific program includes also three keynote presentations given, respectively, by Michael Böhlen (University of Zurich), Estela Saquete Boró (University of Alicante), and Patricia Bouyer (CNRS). Thanks to the support of the University of Málaga, TIME 2019, for the first time, included two 3-hours tutorials on Computer Aided Synthesis and on Temporal Aspects of Inductive Logic Programming, given, respectively, by Véronique Bruyère (University of Mons) and Fabrizio Riguzzi (University of Ferrara). We are delighted that they all accepted our invitation, and are very grateful for their scientific contribution. Finally, we would like to acknowledge the excellent work of all the people involved in the organization of the conference, in particular the local arrangement chair Emilio Muñoz- Velasco. His support was indispensable for a smooth organization and preparation of the conference. Deep thanks also go to Dr. Wagner and the LIPIcs team for the support during the preparation of the conference proceedings.

Johann Gamper Sophie Pinchinat Guido Sciavicco

List of Authors

Alex Abuin David Chemouil Ikerlan Technology Research Center University of Touluse Spain France [email protected] david.chemouil@onera.fr

Ana de Almeida Borges Carlo Combi University of Barcelona University of Verona Spain Italy [email protected] [email protected]

Laura Bozelli Juan José Conejero Rodriguez University of Napoli ‘Federico II’ University of Barcelona Italy Spain [email protected] [email protected]

Alexander Bolotov Pablo Cordero University of Westminster University of Málaga UK Spain [email protected] [email protected]

Sebastian Brandt Amélie David Siemens CT University of Paris-Saclay Germany France [email protected] [email protected]

Julien Brunel Unai Diáz de Cerio University of Touluse Ikerlan Technology Research Center France Spain [email protected] [email protected]

Andrea Brunello David Fernández Duque University of Udine University of Barcelona Italy Spain [email protected] [email protected]

Diego Calvanese Inmaculada Fortes Free University of Bozen-Bolzano University of Málaga Italy Spain [email protected] [email protected]

Pasquale Cascarano Stefano Gandolﬁ University of Bologna University of Bologna Italy Italy [email protected] [email protected]

Serenella Cerrito Mireia González Bedmar University of Paris-Saclay University of Barcelona France Spain [email protected] [email protected]

Valentin Goranko Elena Loli Piccolomini Stockholm University University of Bologna Sweden Italy [email protected] [email protected]

Elem Güzel Kalayci Paqui Lucio Free University of Bozen-Bolzano University of the Basque Country Italy Spain [email protected] [email protected] Inmaculada P. de Guzmán Angelo Montanari University of Málaga University of Udine Spain Italy [email protected] [email protected] Montserrat Hermo Benjamin Mörzinger University of the Basque Country Technische Universität Wien Spain Austria [email protected] [email protected] Hsi-Ming Ho University of Cambridge Barbara Oliboni UK University of Verona [email protected] Italy [email protected] Akash Hossain University of Paris Diderot Anastasia Paparrizou France University of Artois [email protected] France [email protected]

Tomi Janhunen Andrea Pascucci University of Tampere University of Bologna Finland Italy [email protected] [email protected] Adriano Peron Timothy M. Jones University of Napoli ‘Federico II’ University of Cambridge Italy UK [email protected] [email protected] Quentin Peyras Joost J. Joosten University of Toulouse University of Barcelona France Spain [email protected] [email protected] Roman Kontchakov Luca Poluzzi University of London, Birkbeck University of Bologna UK Italy [email protected] [email protected] François Laroussinie Mark Reynolds University of Paris Diderot University of Western Australia France Australia [email protected] [email protected] Authors 0:xi

Romeo Rizzi Guohui Xiao University of Verona Free University of Bozen-Bolzano Italy Italy [email protected] [email protected] Vladislav Ryzhikov Michael Zakharyaschev University of London, Birkbeck University of London, Birkbeck UK UK [email protected] [email protected] Pietro Sala Matteo Zavatteri University of Verona University of Verona Italy Italy [email protected] [email protected] Yakoub Salhi Michał Zawidzki University of Artois University of Łódź France Poland [email protected] [email protected] Sixto Sánchez Kevin Zhou University of Málaga University of Cambridge Spain UK [email protected] [email protected] Michael Sioutis University of Aalto Finland [email protected] Heiner Stuckenshmidt University of Mannheim Germany [email protected] Luca Tavasci University of Bologna Italy [email protected] Luca Viganó King’s College London UK [email protected] Przemysław Andrzej Wałega University of Oxford UK [email protected] Melisachew Wudage Chekol University of Mannheim Germany [email protected]

T I M E 2 0 1 9

List of PC Members

Alessandro Artale Beatrice Berard Nathalie Bertrand Dietmar Berwanger Claudio Bettini Davide Bresolin Clare Dixon Michael Fisher Rajeev Gore Giovanna Guerrini Keijo Heljanko Luke Hunsberger Peter Jonsson Bart Kuijpers Orna Kupferman Federica Mandreoli Bastien Maubert Emilio Muñoz-Velasco Manuel Ojeda-Aciego Mark Reynolds François Schwarzentruber Martin Theobald Vassilis Tsotras