@Proceedings{sala_et_al:LIPIcs.TIME.2024,
title = {{LIPIcs, Volume 318, TIME 2024, Complete Volume}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {1--308},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024},
URN = {urn:nbn:de:0030-drops-220682},
doi = {10.4230/LIPIcs.TIME.2024},
annote = {Keywords: LIPIcs, Volume 318, TIME 2024, Complete Volume}
}
@InProceedings{sala_et_al:LIPIcs.TIME.2024.0,
author = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.0},
URN = {urn:nbn:de:0030-drops-220672},
doi = {10.4230/LIPIcs.TIME.2024.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{sciavicco:LIPIcs.TIME.2024.1,
author = {Sciavicco, Guido},
title = {{A General Logical Approach to Learning from Time Series}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.1},
URN = {urn:nbn:de:0030-drops-212088},
doi = {10.4230/LIPIcs.TIME.2024.1},
annote = {Keywords: Machine learning, temporal logic, general approach}
}
@InProceedings{pinchinat:LIPIcs.TIME.2024.2,
author = {Pinchinat, Sophie},
title = {{Strategic Reasoning Under Imperfect Information with Synchronous Semantics}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {2:1--2:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.2},
URN = {urn:nbn:de:0030-drops-212093},
doi = {10.4230/LIPIcs.TIME.2024.2},
annote = {Keywords: Strategic reasoning, Imperfect information, chain-MSO, Automatic structures}
}
@InProceedings{walega:LIPIcs.TIME.2024.3,
author = {Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej},
title = {{Rule-Based Temporal Reasoning: Exploring DatalogMTL}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {3:1--3:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.3},
URN = {urn:nbn:de:0030-drops-212106},
doi = {10.4230/LIPIcs.TIME.2024.3},
annote = {Keywords: Temporal Datalog, Temporal Logic Programming, Temporal Reasoning}
}
@InProceedings{eder_et_al:LIPIcs.TIME.2024.4,
author = {Eder, Johann and Posenato, Roberto and Combi, Carlo and Franceschetti, Marco and Hollauf, Franziska S.},
title = {{Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {4:1--4:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.4},
URN = {urn:nbn:de:0030-drops-212115},
doi = {10.4230/LIPIcs.TIME.2024.4},
annote = {Keywords: Temporal constraint networks, contingent durations, agile controllability}
}
@InProceedings{stoyanova_et_al:LIPIcs.TIME.2024.5,
author = {Stoyanova, Ivelina and Museux, Nicolas and Nguyen, Sao Mai and Filliat, David},
title = {{Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {5:1--5:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.5},
URN = {urn:nbn:de:0030-drops-212128},
doi = {10.4230/LIPIcs.TIME.2024.5},
annote = {Keywords: Event-Based Decision Making, Activity Recognition, Temporal Logic, Reinforcement Learning, Dynamic Systems, Complex Event Processing, Benchmark Environment, Real-Time Simulation}
}
@InProceedings{mantenoglou_et_al:LIPIcs.TIME.2024.6,
author = {Mantenoglou, Periklis and Artikis, Alexander},
title = {{Extending the Range of Temporal Specifications of the Run-Time Event Calculus}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {6:1--6:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.6},
URN = {urn:nbn:de:0030-drops-212135},
doi = {10.4230/LIPIcs.TIME.2024.6},
annote = {Keywords: Event Calculus, temporal pattern matching, composite event recognition}
}
@InProceedings{badia_et_al:LIPIcs.TIME.2024.7,
author = {Badia, Guillermo and Noguera, Carles and Paparella, Alberto and Sciavicco, Guido and Stan, Ionel Eduard},
title = {{Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {7:1--7:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.7},
URN = {urn:nbn:de:0030-drops-212145},
doi = {10.4230/LIPIcs.TIME.2024.7},
annote = {Keywords: Interval temporal logic, many-valued logic, tableau system}
}
@InProceedings{sumic_et_al:LIPIcs.TIME.2024.8,
author = {Sumic, Ajdin and Vidal, Thierry},
title = {{A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {8:1--8:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.8},
URN = {urn:nbn:de:0030-drops-212151},
doi = {10.4230/LIPIcs.TIME.2024.8},
annote = {Keywords: Temporal constraints satisfaction, uncertainty, STNU, Controllability checking, Explainable inconsistency, Multi-agent planning}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2024.9,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {9:1--9:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.9},
URN = {urn:nbn:de:0030-drops-212160},
doi = {10.4230/LIPIcs.TIME.2024.9},
annote = {Keywords: Temporal constraint networks, overconstrained networks, negative cycles}
}
@InProceedings{dupindesaintcyr_et_al:LIPIcs.TIME.2024.10,
author = {Dupin de Saint-Cyr, Florence and Bosser, Anne-Gwenn and Callac, Benjamin and Maisel, Eric},
title = {{What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {10:1--10:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.10},
URN = {urn:nbn:de:0030-drops-212170},
doi = {10.4230/LIPIcs.TIME.2024.10},
annote = {Keywords: Knowledge Representation, Narration, Cognition}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2024.11,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{Faster Algorithm for Converting an STNU into Minimal Dispatchable Form}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {11:1--11:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.11},
URN = {urn:nbn:de:0030-drops-212182},
doi = {10.4230/LIPIcs.TIME.2024.11},
annote = {Keywords: Temporal constraint networks, dispatchable networks}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2024.12,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{Robust Execution of Probabilistic STNs}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {12:1--12:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.12},
URN = {urn:nbn:de:0030-drops-212197},
doi = {10.4230/LIPIcs.TIME.2024.12},
annote = {Keywords: Temporal constraint networks, probabilistic durations, dispatchable networks}
}
@InProceedings{sumic_et_al:LIPIcs.TIME.2024.13,
author = {Sumic, Ajdin and Vidal, Thierry and Micheli, Andrea and Cimatti, Alessandro},
title = {{Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {13:1--13:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.13},
URN = {urn:nbn:de:0030-drops-212200},
doi = {10.4230/LIPIcs.TIME.2024.13},
annote = {Keywords: Temporal constraints satisfaction, uncertainty, STNU, Controllability checking, Explainable inconsistency, Multi-agent planning}
}
@InProceedings{chiariello:LIPIcs.TIME.2024.14,
author = {Chiariello, Francesco},
title = {{Learning Temporal Properties from Event Logs via Sequential Analysis}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {14:1--14:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.14},
URN = {urn:nbn:de:0030-drops-212217},
doi = {10.4230/LIPIcs.TIME.2024.14},
annote = {Keywords: Process Mining, Declarative Process Discovery, Trace Alignment, Sequential Analysis}
}
@InProceedings{condotta_et_al:LIPIcs.TIME.2024.15,
author = {Condotta, Jean-Fran\c{c}ois and Salhi, Yakoub},
title = {{A Framework for Assessing Inconsistency in Disjunctive Temporal Problems}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {15:1--15:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.15},
URN = {urn:nbn:de:0030-drops-212223},
doi = {10.4230/LIPIcs.TIME.2024.15},
annote = {Keywords: Disjunctive Temporal Problems, Inconsistency Measures, Temporal Reasoning}
}
@InProceedings{alsmann_et_al:LIPIcs.TIME.2024.16,
author = {Alsmann, Eric and Bruse, Florian},
title = {{Real-Time Higher-Order Recursion Schemes}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {16:1--16:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.16},
URN = {urn:nbn:de:0030-drops-212236},
doi = {10.4230/LIPIcs.TIME.2024.16},
annote = {Keywords: Timed Automata, Higher-Order Recursion Schemes, Tree Automata}
}
@InProceedings{delibasoglu_et_al:LIPIcs.TIME.2024.17,
author = {Delibasoglu, Ibrahim and Heintz, Fredrik},
title = {{Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {17:1--17:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.17},
URN = {urn:nbn:de:0030-drops-212244},
doi = {10.4230/LIPIcs.TIME.2024.17},
annote = {Keywords: Time series, Anomaly, Neural networks}
}
@InProceedings{benerecetti_et_al:LIPIcs.TIME.2024.18,
author = {Benerecetti, Massimo and Bozzelli, Laura and Mogavero, Fabio and Peron, Adriano},
title = {{Full Characterisation of Extended CTL*}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {18:1--18:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.18},
URN = {urn:nbn:de:0030-drops-212259},
doi = {10.4230/LIPIcs.TIME.2024.18},
annote = {Keywords: Branching-Time Temporal Logics, Monadic Chain Logic, Tree Automata}
}
@InProceedings{benerecetti_et_al:LIPIcs.TIME.2024.19,
author = {Benerecetti, Massimo and Faella, Marco and Mogavero, Fabio},
title = {{Model Checking Linear Temporal Properties on Polyhedral Systems}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {19:1--19:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.19},
URN = {urn:nbn:de:0030-drops-212267},
doi = {10.4230/LIPIcs.TIME.2024.19},
annote = {Keywords: Model Checking, Real-Time Systems, LTLf, RTLf}
}
@InProceedings{lazzarinetti_et_al:LIPIcs.TIME.2024.20,
author = {Lazzarinetti, Giorgio and Manzoni, Sara and Zoppis, Italo and Dondi, Riccardo},
title = {{FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks}},
booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)},
pages = {20:1--20:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-349-2},
ISSN = {1868-8969},
year = {2024},
volume = {318},
editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.20},
URN = {urn:nbn:de:0030-drops-212275},
doi = {10.4230/LIPIcs.TIME.2024.20},
annote = {Keywords: Temporal Networks, Activity Timeline, Timeline Cover, Vertex Cover, Optimization, Heuristic}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing