26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Michael H. Böhlen and Muhammad Saad. Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Estela Saquete Boró. From Unstructured Data to Narrative Abstractive Summaries (Invited Talk). In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 2:1-2:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Patricia Bouyer. On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 3:1-3:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Przemysław Andrzej Wałęga and Michał Zawidzki. A Modal Logic for Subject-Oriented Spatial Reasoning. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 4:1-4:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Carlo Combi, Barbara Oliboni, and Pietro Sala. Customizing BPMN Diagrams Using Timelines. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 5:1-5:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten. The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 7:1-7:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Melisachew Wudage Chekol and Heiner Stuckenschmidt. Time-Aware Probabilistic Knowledge Graphs. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Yakoub Salhi. Qualitative Reasoning and Data Mining. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 9:1-9:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, and Andrea Pascucci. Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 10:1-10:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Akash Hossain and François Laroussinie. From Quantified CTL to QBF. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 11:1-11:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Alex Abuin, Alexander Bolotov, Unai Díaz de Cerio, Montserrat Hermo, and Paqui Lucio. Towards Certified Model Checking for PLTL Using One-Pass Tableaux. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 12:1-12:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Serenella Cerrito, Amélie David, and Valentin Goranko. Minimisation of Models Satisfying CTL Formulas. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 13:1-13:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Michael Sioutis, Anastasia Paparrizou, and Tomi Janhunen. On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 14:1-14:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Quentin Peyras, Julien Brunel, and David Chemouil. A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 15:1-15:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò. Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Andrea Brunello, Angelo Montanari, and Mark Reynolds. Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 17:1-17:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Laura Bozzelli, Angelo Montanari, and Adriano Peron. Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 18:1-18:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Pablo Cordero, Inmaculada Fortes, Inmaculada P. de Guzmán, and Sixto Sánchez. Simplifying Inductive Schemes in Temporal Logic. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 19:1-19:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Hsi-Ming Ho, Ruoyu Zhou, and Timothy M. Jones. On Verifying Timed Hyperproperties. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 20:1-20:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@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} }
Feedback for Dagstuhl Publishing