Abstract is missing.
- Learning Temporal Properties from Event Logs via Sequential AnalysisFrancesco Chiariello. [doi]
- A Framework for Assessing Inconsistency in Disjunctive Temporal ProblemsJean-François Condotta, Yakoub Salhi. [doi]
- A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with UncertaintyAïdin Sumic, Thierry Vidal. [doi]
- Agile Controllability of Simple Temporal Networks with Uncertainty and OraclesJohann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf. [doi]
- Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)Przemyslaw Andrzej Walega. [doi]
- Model Checking Linear Temporal Properties on Polyhedral SystemsMassimo Benerecetti, Marco Faella, Fabio Mogavero. [doi]
- Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal PlanningAjdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti. [doi]
- Extending the Range of Temporal Specifications of the Run-Time Event CalculusPeriklis Mantenoglou, Alexander Artikis. [doi]
- FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal NetworksGiorgio Lazzarinetti, Sara Manzoni, Italo Zoppis, Riccardo Dondi. [doi]
- Robust Execution of Probabilistic STNsLuke Hunsberger, Roberto Posenato. [doi]
- What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in NarrativesFlorence Dupin de Saint-Cyr, Anne-Gwenn Bosser, Benjamin Callac, Eric Maisel. [doi]
- A General Logical Approach to Learning from Time Series (Invited Talk)Guido Sciavicco. [doi]
- Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNNIbrahim Delibasoglu, Fredrik Heintz. [doi]
- Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal LogicIvelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, David Filliat. [doi]
- Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and ImplementationGuillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan. [doi]
- Faster Algorithm for Converting an STNU into Minimal Dispatchable FormLuke Hunsberger, Roberto Posenato. [doi]
- Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk)Sophie Pinchinat. [doi]
- A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with UncertaintyLuke Hunsberger, Roberto Posenato. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Real-Time Higher-Order Recursion SchemesEric Alsmann, Florian Bruse. [doi]
- Full Characterisation of Extended CTLMassimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron. [doi]