Portal - TIME 2020

TIME 2020	September 23-25, 2020, Bozen-Bolzano, Italy
27th International Symposium on Temporal Representation and Reasoning (TIME 2020) Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald (Eds.)
ISBN 978-3-95977-167-2, LIPICS Vol. 178	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 11 MB)
Search Publication Server

Authors

Abuin, Alex

Bednarczyk, Bartosz

Bertagnon, Alessandro

Condotta, Jean-François

Muñoz-Velasco, Emilio

Nguyen Van, Hai

Ohayon, Emmanuel

Ozaki, Ana

Passantino, Alessandro

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Muñoz-Velasco, Emilio ; Ozaki, Ana ; Theobald, Martin

Abstract | Document (309 KB) | BibTeX

Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)

Authors: Dixon, Clare

Abstract | Document (278 KB) | BibTeX

Temporal Modalities in Answer Set Programming (Invited Talk)

Authors: Cabalar, Pedro

Abstract | Document (373 KB) | BibTeX

Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk)

Authors: Eder, Johann ; Franceschetti, Marco

Abstract | Document (300 KB) | BibTeX

Negotiating Temporal Commitments in Cross-Organizational Business Processes

Authors: Franceschetti, Marco ; Eder, Johann

Abstract | Document (4,436 KB) | BibTeX

The Horn Fragment of Branching Algebra

Authors: Bertagnon, Alessandro ; Gavanelli, Marco ; Passantino, Alessandro ; Sciavicco, Guido ; Trevisani, Stefano

Abstract | Document (557 KB) | BibTeX

Temporal Logic with Recursion

Authors: Bruse, Florian ; Lange, Martin

Abstract | Document (467 KB) | BibTeX

Parametric Model Checking Continuous-Time Markov Chains

Authors: Ilie, Catalin-Andrei ; Worrell, James Ben

Abstract | Document (554 KB) | BibTeX

Universal Solutions in Temporal Data Exchange

Authors: Cheng, Zehui ; Kolaitis, Phokion G.

Abstract | Document (551 KB) | BibTeX

Knowledge Extraction with Interval Temporal Logic Decision Trees

Authors: Sciavicco, Guido ; Stan, Ionel Eduard

Abstract | Document (497 KB) | BibTeX

Window-Slicing Techniques Extended to Spanning-Event Streams

Authors: Suzanne, Aurélie ; Raschia, Guillaume ; Martinez, José ; Tassetti, Damien

Abstract | Document (743 KB) | BibTeX

Mining Significant Temporal Networks Is Polynomial

Authors: Sciavicco, Guido ; Zavatteri, Matteo ; Villa, Tiziano

Abstract | Document (553 KB) | BibTeX

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models

Authors: Sioutis, Michael ; Wolter, Diedrich

Abstract | Document (634 KB) | BibTeX

Non-Simultaneity as a Design Constraint

Authors: Guyomarc'h, Jean ; Guerret, François ; El Mejjati, Bilal ; Ohayon, Emmanuel ; Vincke, Bastien ; Mérigot, Alain

Abstract | Document (613 KB) | BibTeX

One-Pass Context-Based Tableaux Systems for CTL and ECTL

Authors: Abuin, Alex ; Bolotov, Alexander ; Hermo, Montserrat ; Lucio, Paqui

Abstract | Document (692 KB) | BibTeX

TESL: A Model with Metric Time for Modeling and Simulation

Authors: Nguyen Van, Hai ; Boulanger, Frédéric ; Wolff, Burkhart

Abstract | Document (1,579 KB) | BibTeX

Complexity of Qualitative Timeline-Based Planning

Authors: Della Monica, Dario ; Gigante, Nicola ; La Torre, Salvatore ; Montanari, Angelo

Abstract | Document (508 KB) | BibTeX

A Note on C² Interpreted over Finite Data-Words

Authors: Bednarczyk, Bartosz ; Witkowski, Piotr

Abstract | Document (554 KB) | BibTeX

Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing

Authors: Hellings, Jelle ; Wu, Yuqing

Abstract | Document (738 KB) | BibTeX

On the Decidability of a Fragment of preferential LTL

Authors: Chafik, Anasse ; Cheikh-Alili, Fahima ; Condotta, Jean-François ; Varzinczak, Ivan

Abstract | Document (582 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

27th International Symposium on Temporal Representation and Reasoning (TIME 2020)