@Proceedings{artikis_et_al:LIPIcs.TIME.2023,
title = {{LIPIcs, Volume 278, TIME 2023, Complete Volume}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {1--254},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023},
URN = {urn:nbn:de:0030-drops-190890},
doi = {10.4230/LIPIcs.TIME.2023},
annote = {Keywords: LIPIcs, Volume 278, TIME 2023, Complete Volume}
}
@InProceedings{artikis_et_al:LIPIcs.TIME.2023.0,
author = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.0},
URN = {urn:nbn:de:0030-drops-190907},
doi = {10.4230/LIPIcs.TIME.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{nenzi:LIPIcs.TIME.2023.1,
author = {Nenzi, Laura},
title = {{Learning Temporal Logic Formulas from Time-Series Data}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.1},
URN = {urn:nbn:de:0030-drops-190917},
doi = {10.4230/LIPIcs.TIME.2023.1},
annote = {Keywords: Temporal Logic, Mining Specifications}
}
@InProceedings{artale_et_al:LIPIcs.TIME.2023.2,
author = {Artale, Alessandro and Geatti, Luca and Gigante, Nicola and Mazzullo, Andrea and Montanari, Angelo},
title = {{LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {2:1--2:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.2},
URN = {urn:nbn:de:0030-drops-190927},
doi = {10.4230/LIPIcs.TIME.2023.2},
annote = {Keywords: Temporal Logic, Succinctness, LTLf, Finite Traces, Pure past LTL}
}
@InProceedings{baudin_et_al:LIPIcs.TIME.2023.3,
author = {Baudin, Alexis and Tabourier, Lionel and Magnien, Cl\'{e}mence},
title = {{LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {3:1--3:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.3},
URN = {urn:nbn:de:0030-drops-190932},
doi = {10.4230/LIPIcs.TIME.2023.3},
annote = {Keywords: Temporal network, Link stream, k-clique, Community detection, Clique Percolation Method, Real-world interactions}
}
@InProceedings{amico_et_al:LIPIcs.TIME.2023.4,
author = {Amico, Beatrice and Combi, Carlo and Rizzi, Romeo and Sala, Pietro},
title = {{Discovering Predictive Dependencies on Multi-Temporal Relations}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {4:1--4:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.4},
URN = {urn:nbn:de:0030-drops-190945},
doi = {10.4230/LIPIcs.TIME.2023.4},
annote = {Keywords: temporal databases, temporal data mining, functional dependencies}
}
@InProceedings{salhi_et_al:LIPIcs.TIME.2023.5,
author = {Salhi, Yakoub and Sioutis, Michael},
title = {{Prime Scenarios in Qualitative Spatial and Temporal Reasoning}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {5:1--5:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.5},
URN = {urn:nbn:de:0030-drops-190957},
doi = {10.4230/LIPIcs.TIME.2023.5},
annote = {Keywords: Spatial and Temporal Reasoning, Qualitative Constraints, Prime Scenario, Prime Implicant, Robustness Measurement}
}
@InProceedings{shankar_et_al:LIPIcs.TIME.2023.6,
author = {Shankar, Saumya and Pinisetty, Srinivas and J\'{e}ron, Thierry},
title = {{Bounded-Memory Runtime Enforcement of Timed Properties}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.6},
URN = {urn:nbn:de:0030-drops-190962},
doi = {10.4230/LIPIcs.TIME.2023.6},
annote = {Keywords: Formal methods, Runtime enforcement, Bounded-memory, Timed automata}
}
@InProceedings{ho_et_al:LIPIcs.TIME.2023.7,
author = {Ho, Hsi-Ming and Madnani, Khushraj},
title = {{More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.7},
URN = {urn:nbn:de:0030-drops-190979},
doi = {10.4230/LIPIcs.TIME.2023.7},
annote = {Keywords: Temporal Logic, Expressiveness, Automata}
}
@InProceedings{bregoli_et_al:LIPIcs.TIME.2023.8,
author = {Bregoli, Alessandro and Rathsman, Karin and Scutari, Marco and Stella, Fabio and Mogensen, S{\o}ren Wengel},
title = {{Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {8:1--8:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.8},
URN = {urn:nbn:de:0030-drops-190980},
doi = {10.4230/LIPIcs.TIME.2023.8},
annote = {Keywords: event model, continuous-time Bayesian network, alarm network, graphical models, event cascade}
}
@InProceedings{conradie_et_al:LIPIcs.TIME.2023.9,
author = {Conradie, Willem and Monego, Riccardo and Mu\~{n}oz-Velasco, Emilio and Sciavicco, Guido and Stan, Ionel Eduard},
title = {{A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {9:1--9:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.9},
URN = {urn:nbn:de:0030-drops-190996},
doi = {10.4230/LIPIcs.TIME.2023.9},
annote = {Keywords: Interval temporal logic, many-valued logic, tableau system}
}
@InProceedings{bruse_et_al:LIPIcs.TIME.2023.10,
author = {Bruse, Florian and Kastaun, Marit and Lange, Martin and M\"{o}ller, S\"{o}ren},
title = {{The Calculus of Temporal Influence}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {10:1--10:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.10},
URN = {urn:nbn:de:0030-drops-191009},
doi = {10.4230/LIPIcs.TIME.2023.10},
annote = {Keywords: temporal reasoning, formal models, continuous functions, polynomial decidability}
}
@InProceedings{misra_et_al:LIPIcs.TIME.2023.11,
author = {Misra, Anshuman and Kshemkalyani, Ajay D.},
title = {{Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {11:1--11:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.11},
URN = {urn:nbn:de:0030-drops-191017},
doi = {10.4230/LIPIcs.TIME.2023.11},
annote = {Keywords: Byzantine fault-tolerance, causality, happens before, distributed system, message-passing, synchronous system}
}
@InProceedings{sioutis:LIPIcs.TIME.2023.12,
author = {Sioutis, Michael},
title = {{Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {12:1--12:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.12},
URN = {urn:nbn:de:0030-drops-191020},
doi = {10.4230/LIPIcs.TIME.2023.12},
annote = {Keywords: Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Resolution, Maximizing Satisfiability, Greedy Algorithm, Partial MaxSAT Solver}
}
@InProceedings{dyreson:LIPIcs.TIME.2023.13,
author = {Dyreson, Curtis E.},
title = {{Optimization of Nonsequenced Queries Using Log-Segmented Timestamps}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.13},
URN = {urn:nbn:de:0030-drops-191036},
doi = {10.4230/LIPIcs.TIME.2023.13},
annote = {Keywords: Temporal databases, nonsequenced semantics, query evaluation, query performance}
}
@InProceedings{mantenoglou:LIPIcs.TIME.2023.14,
author = {Mantenoglou, Periklis},
title = {{An Event Calculus for Run-Time Reasoning}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {14:1--14:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.14},
URN = {urn:nbn:de:0030-drops-191046},
doi = {10.4230/LIPIcs.TIME.2023.14},
annote = {Keywords: Event Calculus, temporal pattern matching, complex event recognition}
}
@InProceedings{giatrakos:LIPIcs.TIME.2023.15,
author = {Giatrakos, Nikos},
title = {{SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {15:1--15:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.15},
URN = {urn:nbn:de:0030-drops-191053},
doi = {10.4230/LIPIcs.TIME.2023.15},
annote = {Keywords: Semantic Trajectory, Event Processing, Data Streams}
}
@InProceedings{salhi_et_al:LIPIcs.TIME.2023.16,
author = {Salhi, Yakoub and Sioutis, Michael},
title = {{A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {16:1--16:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.16},
URN = {urn:nbn:de:0030-drops-191062},
doi = {10.4230/LIPIcs.TIME.2023.16},
annote = {Keywords: Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Handling, Decomposition, Inconsistency Measures}
}
@InProceedings{katzouris_et_al:LIPIcs.TIME.2023.17,
author = {Katzouris, Nikos and Paliouras, Georgios},
title = {{Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {17:1--17:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.17},
URN = {urn:nbn:de:0030-drops-191071},
doi = {10.4230/LIPIcs.TIME.2023.17},
annote = {Keywords: Event Pattern Learning, Answer Set Programming}
}
@InProceedings{kamberi_et_al:LIPIcs.TIME.2023.18,
author = {Kamberi, Petro-Foti and Kladis, Evgenios and Akasiadis, Charilaos},
title = {{A Benchmark for Early Time-Series Classification}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {18:1--18:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.18},
URN = {urn:nbn:de:0030-drops-191084},
doi = {10.4230/LIPIcs.TIME.2023.18},
annote = {Keywords: Time-series analysis, Classification, Benchmark}
}
@InProceedings{salzer_et_al:LIPIcs.TIME.2023.19,
author = {S\"{a}lzer, Marco and Beddar-Wiesing, Silvia},
title = {{Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {19:1--19:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.19},
URN = {urn:nbn:de:0030-drops-191094},
doi = {10.4230/LIPIcs.TIME.2023.19},
annote = {Keywords: graph neural networks, temporal, verification}
}
@InProceedings{hunsberger_et_al:LIPIcs.TIME.2023.20,
author = {Hunsberger, Luke and Posenato, Roberto},
title = {{Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {20:1--20:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.20},
URN = {urn:nbn:de:0030-drops-191104},
doi = {10.4230/LIPIcs.TIME.2023.20},
annote = {Keywords: Temporal constraint networks, contingent durations, dispatchable network}
}
@InProceedings{geatti_et_al:LIPIcs.TIME.2023.21,
author = {Geatti, Luca and Gianola, Alessandro and Gigante, Nicola},
title = {{Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {21:1--21:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.21},
URN = {urn:nbn:de:0030-drops-191110},
doi = {10.4230/LIPIcs.TIME.2023.21},
annote = {Keywords: Linear Temporal Logic, Satisfiability Modulo Theories}
}
@InProceedings{acampora_et_al:LIPIcs.TIME.2023.22,
author = {Acampora, Renato and Geatti, Luca and Gigante, Nicola and Montanari, Angelo},
title = {{Qualitative past Timeline-Based Games}},
booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
pages = {22:1--22:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-298-3},
ISSN = {1868-8969},
year = {2023},
volume = {278},
editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.22},
URN = {urn:nbn:de:0030-drops-191125},
doi = {10.4230/LIPIcs.TIME.2023.22},
annote = {Keywords: Automata, Planning, Temporal Reasoning}
}
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