Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) (English)
Free access
- New search for: Hunsberger, Luke
- New search for: Posenato, Roberto
- Further information on Posenato, Roberto:
- https://orcid.org/0000-0003-0944-0419
- New search for: Hunsberger, Luke
- New search for: Posenato, Roberto
- Further information on Posenato, Roberto:
- https://orcid.org/0000-0003-0944-0419
- 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
;
1:1-1:5
;
2021
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)
-
Contributors:Hunsberger, Luke ( author ) / Posenato, Roberto ( 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 ; 1:1-1:5Leibniz International Proceedings in Informatics (LIPIcs) ; 206 ; 1:1-1:5
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2021-09-16
-
Size:5 pages , 510151 byte
-
Remarks:LIPIcs, Vol. 206, 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), pages 1:1-1:5
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:Simple Temporal Networks , Dispatchability , Temporal Decoupling Problem , Consistency Checking , Theory of computation → Dynamic graph algorithms , Theory of computation → Network optimization , Mathematics of computing → Graph algorithms , Restoring Consistency , Computing methodologies → Temporal reasoning
-
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