default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th TIME 2020: Bozen-Bolzano, Italy
- Emilio Muñoz-Velasco
, Ana Ozaki, Martin Theobald:
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020. LIPIcs 178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Clare Dixon:
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). 1:1-1:4 - Pedro Cabalar:
Temporal Modalities in Answer Set Programming (Invited Talk). 2:1-2:5 - Johann Eder, Marco Franceschetti:
Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). 3:1-3:8 - Marco Franceschetti, Johann Eder:
Negotiating Temporal Commitments in Cross-Organizational Business Processes. 4:1-4:15 - Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
The Horn Fragment of Branching Algebra. 5:1-5:16 - Florian Bruse, Martin Lange:
Temporal Logic with Recursion. 6:1-6:14 - Catalin-Andrei Ilie, James B. Worrell:
Parametric Model Checking Continuous-Time Markov Chains. 7:1-7:18 - Zehui Cheng, Phokion G. Kolaitis:
Universal Solutions in Temporal Data Exchange. 8:1-8:17 - Guido Sciavicco, Ionel Eduard Stan:
Knowledge Extraction with Interval Temporal Logic Decision Trees. 9:1-9:16 - Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti:
Window-Slicing Techniques Extended to Spanning-Event Streams. 10:1-10:14 - Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining Significant Temporal Networks Is Polynomial. 11:1-11:12 - Michael Sioutis, Diedrich Wolter:
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. 12:1-12:15 - Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot:
Non-Simultaneity as a Design Constraint. 13:1-13:15 - Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio:
One-Pass Context-Based Tableaux Systems for CTL and ECTL. 14:1-14:20 - Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
TESL: A Model with Metric Time for Modeling and Simulation. 15:1-15:15 - Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari:
Complexity of Qualitative Timeline-Based Planning. 16:1-16:13 - Bartosz Bednarczyk, Piotr Witkowski:
A Note on C² Interpreted over Finite Data-Words. 17:1-17:14 - Jelle Hellings, Yuqing Wu:
Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. 18:1-18:19 - Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
On the Decidability of a Fragment of preferential LTL. 19:1-19:19
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
