TIME 2020 video presentations

The 27th International Symposium on Temporal Representation and Reasoning was held in September 2020. It was part of the Bolzano Summer of Knowledge 2020.

INVITED TALKS

3 videos found

Invited Talk - Clare Dixon - Verifying Autonomous Robots: Challenges and Reflections

Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections

Invited Talk - Johann Eder - Time and Business Process Management: Problems, Achievements, Challenges

Invited Talk – Johann Eder – Time and Business Process Management: Problems, Achievements, Challenges

Invited Talk - Pedro Cablar - Temporal Modalities in Answer Set Programming

Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming

CONTRIBUTED TALKS

14 videos found

Complexity of qualitative timeline-based planning. By Nicola Gigante

Complexity of qualitative timeline-based planning. By Nicola Gigante

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis

Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan

Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan

Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri

Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri

Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti

Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti

On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik

On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik

One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov

One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov

Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie

Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie

Recursive Temporal Logic. By Martin Lange

Recursive Temporal Logic. By Martin Lange

Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings

Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings

TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van

TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van

The Horn Fragment of Branching Algebra. By Stefano Trevisani

The Horn Fragment of Branching Algebra. By Stefano Trevisani

Universal Solutions in Temporal Data Exchange. By Zehui Cheng

Universal Solutions in Temporal Data Exchange. By Zehui Cheng

Window-slicing Techniques Extended to Spanning-event Streams. By Aurélie Suzanne

Window-slicing Techniques Extended to Spanning-event Streams. By Aurélie Suzanne