Like TIME 2021, the 29th edition of the International Symposium on Temporal Representation and Reasoning (TIME 2022) will take place online, due to the insecurities caused by the pandemic. Since its first edition in 1994, the TIME Symposium is quite unique in the panorama of the scientific conferences as its main goal is to bring together researchers from distinct research areas involving the management and representation of temporal data as well as reasoning about temporal aspects of information. Moreover, the TIME Symposium aims to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification and beyond. The three traditional tracks of TIME concern: Time in Artificial Intelligence, Temporal Databases, Temporal Logic and Reasoning. This year the authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems or Information and Computation. We received a total of 29 paper submissions representing a wide range of research topics in the areas of artificial intelligence, databases and theoretical computer science. Submissions came from Africa, Asia, Australia, Europe and North America. We would like to thank all the authors of the submitted papers, as they have helped to build a successful TIME 2022 Symposium. As a result of the review process coordinated by the Program Committee chairs, 12 papers were selected for full presentation at the symposium. The range of the considered topics is wide, including, among others, neuro-symbolic reasoning, complex event recognition and run-time verification. To reach a decision, we discussed the reviews with all three reviewers assigned to a paper. The accepted papers are very interesting and we are confident that we will have lively discussions during the symposium. We are very pleased to include invited talks by leading scholars in our scientific com- munities: Moshe Y. Vardi (Rice University, USA), Silvia Miksch (TU Vienna, Austria) and Stijn Vansummeren (University of Hasselt, Belgium). We believe that the invited talks, the selected papers and their presentations will help to stimulate and improve several research efforts in the area of temporal representation and reasoning, and motivate members of under-represented research communities to participate in the TIME Symposia. We would like to thank all the members of the Program Committee and the additional reviewers, who spent their time and volunteered their expertise to set up the final program. We want also to thank Periklis Mantenoglou for his efforts in maintaining the web page of the symposium. Finally, we would like to acknowledge the generous support of the Department of Computer Science of the University of Verona, Italy, which supported, among others, the open access publication of these proceedings.
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning
Roberto Posenato
;
2022-01-01
Abstract
Like TIME 2021, the 29th edition of the International Symposium on Temporal Representation and Reasoning (TIME 2022) will take place online, due to the insecurities caused by the pandemic. Since its first edition in 1994, the TIME Symposium is quite unique in the panorama of the scientific conferences as its main goal is to bring together researchers from distinct research areas involving the management and representation of temporal data as well as reasoning about temporal aspects of information. Moreover, the TIME Symposium aims to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification and beyond. The three traditional tracks of TIME concern: Time in Artificial Intelligence, Temporal Databases, Temporal Logic and Reasoning. This year the authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems or Information and Computation. We received a total of 29 paper submissions representing a wide range of research topics in the areas of artificial intelligence, databases and theoretical computer science. Submissions came from Africa, Asia, Australia, Europe and North America. We would like to thank all the authors of the submitted papers, as they have helped to build a successful TIME 2022 Symposium. As a result of the review process coordinated by the Program Committee chairs, 12 papers were selected for full presentation at the symposium. The range of the considered topics is wide, including, among others, neuro-symbolic reasoning, complex event recognition and run-time verification. To reach a decision, we discussed the reviews with all three reviewers assigned to a paper. The accepted papers are very interesting and we are confident that we will have lively discussions during the symposium. We are very pleased to include invited talks by leading scholars in our scientific com- munities: Moshe Y. Vardi (Rice University, USA), Silvia Miksch (TU Vienna, Austria) and Stijn Vansummeren (University of Hasselt, Belgium). We believe that the invited talks, the selected papers and their presentations will help to stimulate and improve several research efforts in the area of temporal representation and reasoning, and motivate members of under-represented research communities to participate in the TIME Symposia. We would like to thank all the members of the Program Committee and the additional reviewers, who spent their time and volunteered their expertise to set up the final program. We want also to thank Periklis Mantenoglou for his efforts in maintaining the web page of the symposium. Finally, we would like to acknowledge the generous support of the Department of Computer Science of the University of Verona, Italy, which supported, among others, the open access publication of these proceedings.File | Dimensione | Formato | |
---|---|---|---|
lipics-vol247-time2022-complete.pdf
accesso aperto
Licenza:
Creative commons
Dimensione
6.2 MB
Formato
Adobe PDF
|
6.2 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.