المؤلفون: Ågotnes, Thomas, van Ditmarsch, Hans, French, Tim

المصدر: The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2405.15671

المؤلفون: Zhao, Ziyu, Liu, Wei, French, Tim, Stewart, Michael

مصطلحات موضوعية: Computer Science - Databases

URL الوصول: http://arxiv.org/abs/2310.01080

المؤلفون: Rosenberg, Manou, Reynolds, Mark, French, Tim, While, Lyndon

المصدر: 2022 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2022 IEEE Congress on. :1-10 Jul, 2022

Relation: 2022 IEEE Congress on Evolutionary Computation (CEC)

المؤلفون: Zhao, Ziyu^{Aff11, Aff12}, Liu, Wei^{Aff11, Aff12}, French, Tim^{Aff11, Aff12}, Stewart, Michael^{Aff11, Aff12}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Liu, Tongliang, editor^Aff7, Webb, Geoff, editor^Aff8, Yue, Lin, editor^Aff9, Wang, Dadong, editor^Aff10

المصدر: AI 2023: Advances in Artificial Intelligence : 36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28–December 1, 2023, Proceedings, Part II. 14472:120-132

المؤلفون: Cunha, Cris, Liu, Wei, French, Tim, Mian, Ajmal

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, I.2.8, I.2.9, I.2.1

URL الوصول: http://arxiv.org/abs/2302.13240

المؤلفون: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2206.00903

المؤلفون: French, Tim, Smoker, Tom

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2108.13036

المؤلفون: Rosenberg, Manou, Fletcher, James, Reynolds, Mark, French, Tim, While, Lyndon

المصدر: 2019 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2019 IEEE Congress on. :2498-2505 Jun, 2019

Relation: 2019 IEEE Congress on Evolutionary Computation (CEC)

المؤلفون: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam

المصدر: EPTCS 335, 2021, pp. 129-138

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2106.11498

المؤلفون: French, Tim^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Hansen, Helle Hvid, editor^Aff7, Scedrov, Andre, editor^Aff8, de Queiroz, Ruy J.G.B., editor^Aff9

المصدر: Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 13923:227-243