Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps (English)
Free access
- New search for: Dyreson, Curtis E.
- Further information on Dyreson, Curtis E.:
- https://orcid.org/0000-0003-0236-1515
- New search for: Ahsan, M. A. Manazir
- New search for: Dyreson, Curtis E.
- Further information on Dyreson, Curtis E.:
- https://orcid.org/0000-0003-0236-1515
- New search for: Ahsan, M. A. Manazir
- New search for: Combi, Carlo
- Further information on Combi, Carlo:
- https://orcid.org/0000-0002-4837-4701
- New search for: Eder, Johann
- Further information on Eder, Johann:
- https://orcid.org/0000-0001-6050-468X
- New search for: Reynolds, Mark
- Further information on Reynolds, Mark:
- https://orcid.org/0000-0002-5415-0544
In:
LIPIcs, Volume 206, TIME 2021
: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)
;
206
;
14:1-14:13
;
2021
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps
-
Contributors:Dyreson, Curtis E. ( author ) / Ahsan, M. A. Manazir ( author ) / Combi, Carlo ( editor ) / Eder, Johann ( editor ) / Reynolds, Mark ( editor )
-
Published in:LIPIcs, Volume 206, TIME 2021 : 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) ; 206 ; 14:1-14:13Leibniz International Proceedings in Informatics (LIPIcs) ; 206 ; 14:1-14:13
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2021-09-16
-
Size:13 pages , 764754 byte
-
Remarks:LIPIcs, Vol. 206, 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), pages 14:1-14:13
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)Hunsberger, Luke / Posenato, Roberto et al. | 2021
- 2
-
Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk)Pedersen, Torben Bach et al. | 2021
- 3
-
Kernel Machines in Time (Invited Talk)Suykens, Johan et al. | 2021
- 4
-
Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description)Cuzzocrea, Alfredo et al. | 2021
- 5
-
Model Checking of Stream Processing PipelinesBédard, Alexis / Hallé, Sylvain et al. | 2021
- 6
-
Investigation of Database Models for Evolving GraphsSpitalas, Alexandros / Gounaris, Anastasios / Tsichlas, Kostas / Kosmatopoulos, Andreas et al. | 2021
- 7
-
Interval Temporal Random Forests with an Application to COVID-19 DiagnosisManzella, Federico / Pagliarini, Giovanni / Sciavicco, Guido / Stan, Ionel Eduard et al. | 2021
- 8
-
Past Matters: Supporting LTL+Past in the BLACK Satisfiability CheckerGeatti, Luca / Gigante, Nicola / Montanari, Angelo / Venturato, Gabriele et al. | 2021
- 9
-
Pspace-Completeness of the Temporal Logic of Sub-Intervals and SuffixesBozzelli, Laura / Montanari, Angelo / Peron, Adriano / Sala, Pietro et al. | 2021
- 10
-
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal LogicRyzhikov, Vladislav / Savateev, Yury / Zakharyaschev, Michael et al. | 2021
- 11
-
A Neuro-Symbolic Approach to Structured Event RecognitionApriceno, Gianluca / Passerini, Andrea / Serafini, Luciano et al. | 2021
- 12
-
Model Checking Timed Recursive CTLBruse, Florian / Lange, Martin et al. | 2021
- 13
-
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal PlansCashmore, Michael / Cimatti, Alessandro / Magazzeni, Daniele / Micheli, Andrea / Zehtabi, Parisa et al. | 2021
- 14
-
Achieving a Sequenced, Relational Query Language with Log-Segmented TimestampsDyreson, Curtis E. / Ahsan, M. A. Manazir et al. | 2021
- 15
-
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal PlansRibeiro, Tomás / Lima, Oscar / Cashmore, Michael / Micheli, Andrea / Ventura, Rodrigo et al. | 2021
- 16
-
A One-Pass Tree-Shaped Tableau for Defeasible LTLChafik, Anasse / Cheikh-Alili, Fahima / Condotta, Jean-François / Varzinczak, Ivan et al. | 2021
- 17
-
1½-Player Stochastic StopWatch GamesRoychowdhury, Sparsa et al. | 2021