default search action
Search dblp for Publications
export results for "toc:db/conf/time/time2023.bht:"
@inproceedings{DBLP:conf/time/AcamporaGGM23, author = {Renato Acampora and Luca Geatti and Nicola Gigante and Angelo Montanari}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Qualitative past Timeline-Based Games (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {22:1--22:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.22}, doi = {10.4230/LIPICS.TIME.2023.22}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/time/AcamporaGGM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/AmicoCRS23, author = {Beatrice Amico and Carlo Combi and Romeo Rizzi and Pietro Sala}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Discovering Predictive Dependencies on Multi-Temporal Relations}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {4:1--4:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.4}, doi = {10.4230/LIPICS.TIME.2023.4}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/AmicoCRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/ArtaleGGMM23, author = {Alessandro Artale and Luca Geatti and Nicola Gigante and Andrea Mazzullo and Angelo Montanari}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, 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, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {2:1--2:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.2}, doi = {10.4230/LIPICS.TIME.2023.2}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/ArtaleGGMM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BaudinTM23, author = {Alexis Baudin and Lionel Tabourier and Cl{\'{e}}mence Magnien}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {{LSCPM:} Communities in Massive Real-World Link Streams by Clique Percolation Method}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {3:1--3:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.3}, doi = {10.4230/LIPICS.TIME.2023.3}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/BaudinTM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BregoliRSSM23, author = {Alessandro Bregoli and Karin Rathsman and Marco Scutari and Fabio Stella and S{\o}ren Wengel Mogensen}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {8:1--8:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.8}, doi = {10.4230/LIPICS.TIME.2023.8}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/BregoliRSSM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BruseKLM23, author = {Florian Bruse and Marit Kastaun and Martin Lange and S{\"{o}}ren M{\"{o}}ller}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {The Calculus of Temporal Influence}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {10:1--10:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.10}, doi = {10.4230/LIPICS.TIME.2023.10}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/BruseKLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/ConradieMMSS23, author = {Willem Conradie and Riccardo Monego and Emilio Mu{\~{n}}oz{-}Velasco and Guido Sciavicco and Ionel Eduard Stan}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, 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, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {9:1--9:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.9}, doi = {10.4230/LIPICS.TIME.2023.9}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Dyreson23, author = {Curtis E. Dyreson}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Optimization of Nonsequenced Queries Using Log-Segmented Timestamps}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {13:1--13:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.13}, doi = {10.4230/LIPICS.TIME.2023.13}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/Dyreson23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/GeattiGG23, author = {Luca Geatti and Alessandro Gianola and Nicola Gigante}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {21:1--21:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.21}, doi = {10.4230/LIPICS.TIME.2023.21}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/GeattiGG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Giatrakos23, author = {Nikos Giatrakos}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {{SSTRESED:} Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {15:1--15:4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.15}, doi = {10.4230/LIPICS.TIME.2023.15}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/Giatrakos23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/HoM23, author = {Hsi{-}Ming Ho and Khushraj Madnani}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {7:1--7:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.7}, doi = {10.4230/LIPICS.TIME.2023.7}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/HoM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/HunsbergerP23, author = {Luke Hunsberger and Roberto Posenato}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {20:1--20:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.20}, doi = {10.4230/LIPICS.TIME.2023.20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/HunsbergerP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/KamberiKA23, author = {Petro{-}Foti Kamberi and Evgenios Kladis and Charilaos Akasiadis}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {A Benchmark for Early Time-Series Classification (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {18:1--18:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.18}, doi = {10.4230/LIPICS.TIME.2023.18}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/KamberiKA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/KatzourisP23, author = {Nikos Katzouris and Georgios Paliouras}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Answer Set Automata: {A} Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {17:1--17:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.17}, doi = {10.4230/LIPICS.TIME.2023.17}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/KatzourisP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Mantenoglou23, author = {Periklis Mantenoglou}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {An Event Calculus for Run-Time Reasoning (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {14:1--14:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.14}, doi = {10.4230/LIPICS.TIME.2023.14}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/Mantenoglou23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/MisraK23, author = {Anshuman Misra and Ajay D. Kshemkalyani}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {11:1--11:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.11}, doi = {10.4230/LIPICS.TIME.2023.11}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/MisraK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Nenzi23, author = {Laura Nenzi}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {1:1--1:2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.1}, doi = {10.4230/LIPICS.TIME.2023.1}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/Nenzi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/SalhiS23, author = {Yakoub Salhi and Michael Sioutis}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Prime Scenarios in Qualitative Spatial and Temporal Reasoning}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {5:1--5:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.5}, doi = {10.4230/LIPICS.TIME.2023.5}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/SalhiS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/SalhiS23a, author = {Yakoub Salhi and Michael Sioutis}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {16:1--16:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.16}, doi = {10.4230/LIPICS.TIME.2023.16}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/SalhiS23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/SalzerB23, author = {Marco S{\"{a}}lzer and Silvia Beddar{-}Wiesing}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract)}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {19:1--19:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.19}, doi = {10.4230/LIPICS.TIME.2023.19}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/SalzerB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/ShankarPJ23, author = {Saumya Shankar and Srinivas Pinisetty and Thierry J{\'{e}}ron}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Bounded-Memory Runtime Enforcement of Timed Properties}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {6:1--6:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.6}, doi = {10.4230/LIPICS.TIME.2023.6}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/ShankarPJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Sioutis23, author = {Michael Sioutis}, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {12:1--12:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.12}, doi = {10.4230/LIPICS.TIME.2023.12}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/Sioutis23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/X23, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {Front Matter, Table of Contents, Preface, Conference Organization}, booktitle = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, pages = {0:1--0:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.TIME.2023.0}, doi = {10.4230/LIPICS.TIME.2023.0}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/X23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/time/2023, editor = {Alexander Artikis and Florian Bruse and Luke Hunsberger}, title = {30th International Symposium on Temporal Representation and Reasoning, {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece}, series = {LIPIcs}, volume = {278}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-298-3}, isbn = {978-3-95977-298-3}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/time/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.