×

28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. (English) Zbl 1473.68013

LIPIcs – Leibniz International Proceedings in Informatics 206. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-206-8). xiv, 17 articles, not consecutively paged, electronic only, open access (2021).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding symposium see [Zbl 1443.68018].
Indexed articles:
Hunsberger, Luke; Posenato, Roberto, Simple temporal networks: a practical foundation for temporal representation and reasoning (Invited Talk), Article 1, 5 p. [Zbl 07744944]
Pedersen, Torben Bach, Extreme-scale model-based time series management with modelardb (Invited Talk), Article 2, 2 p. [Zbl 07744945]
Suykens, Johan, Kernel machines in time (Invited Talk), Article 3, 1 p. [Zbl 07744946]
Cuzzocrea, Alfredo, Temporal big data analytics: new frontiers for big data analytics research (Panel Description), Article 4, 7 p. [Zbl 07744947]
Bédard, Alexis; Hallé, Sylvain, Model checking of stream processing pipelines, Article 5, 17 p. [Zbl 07744948]
Spitalas, Alexandros; Gounaris, Anastasios; Tsichlas, Kostas; Kosmatopoulos, Andreas, Investigation of database models for evolving graphs, Article 6, 13 p. [Zbl 07744949]
Manzella, Federico; Pagliarini, Giovanni; Sciavicco, Guido; Stan, Ionel Eduard, Interval temporal random forests with an application to COVID-19 diagnosis, Article 7, 18 p. [Zbl 07744950]
Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Venturato, Gabriele, Past matters: supporting LTL+Past in the BLACK satisfiability checker, Article 8, 17 p. [Zbl 07744951]
Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro, Pspace-completeness of the temporal logic of sub-intervals and suffixes, Article 9, 19 p. [Zbl 07744952]
Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael, Deciding FO-rewritability of ontology-mediated queries in linear temporal logic, Article 10, 15 p. [Zbl 07744953]
Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano, A neuro-symbolic approach to structured event recognition, Article 11, 14 p. [Zbl 07744954]
Bruse, Florian; Lange, Martin, Model checking timed recursive CTL, Article 12, 14 p. [Zbl 07744955]
Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa, Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans, Article 13, 14 p. [Zbl 07744956]
Dyreson, Curtis E.; Ahsan, M. A. Manazir, Achieving a sequenced, relational query language with log-segmented timestamps, Article 14, 13 p. [Zbl 07744957]
Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo, Olisipo: a probabilistic approach to the adaptable execution of deterministic temporal plans, Article 15, 15 p. [Zbl 07744958]
Chafik, Anasse; Cheikh-Alili, Fahima; Condotta, Jean-François; Varzinczak, Ivan, A one-pass tree-shaped tableau for defeasible LTL, Article 16, 18 p. [Zbl 07744959]
Roychowdhury, Sparsa, \(1 \tfrac12\)-player stochastic stopwatch games, Article 17, 18 p. [Zbl 07744960]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03B44 Temporal logic
68Q60 Specification and verification (program logics, model checking, etc.)
68T27 Logic in artificial intelligence
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1443.68018
PDFBibTeX XMLCite
Full Text: DOI Link