المؤلفون: Lindqvist, John, Velázquez-Quesada, Fernando R., Ågotnes, Thomas

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

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

المؤلفون: Å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

المؤلفون: Wáng, Yì N., Ågotnes, Thomas

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

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

المؤلفون: Galimullin, Rustam, Ågotnes, Thomas

Relation: https://rgalimullin.gitlab.io/DALI22/dalipaper.pdf

الاتاحة: https://hdl.handle.net/11250/3164080

المؤلفون: Ågotnes, Thomas, Galimullin, Rustam

المصدر: 19 ; Autonomous Agents and Multi-Agent Systems ; 37

وصف الملف: application/pdf

Relation: urn:issn:1387-2532; https://hdl.handle.net/11250/3075966; https://doi.org/10.1007/s10458-023-09601-0; cristin:2132824; Autonomous Agents and Multi-Agent Systems. 2023, 37, 19.

الاتاحة: https://hdl.handle.net/11250/3075966
https://doi.org/10.1007/s10458-023-09601-0

المؤلفون: Ågotnes, Thomas, van Ditmarsch, Hans, Wang, Yanjing

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

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

المؤلفون: Ågotnes, Thomas, Wáng, Yì N.

المصدر: EPTCS 215, 2016, pp. 31-50

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

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

المؤلفون: Galimullin, Rustam, Ågotnes, Thomas

الاتاحة: https://hdl.handle.net/11250/3037063

المؤلفون: Xiong, Zuojun, Ågotnes, Thomas

المصدر: Journal of Logic, Language, and Information, 2020 Jan 01. 29(1), 53-75.

URL الوصول: https://www.jstor.org/stable/45294947

المؤلفون: Ågotnes, Thomas, Bonanno, Giacomo, van der Hoek, Wiebe

المصدر: Synthese. 193(3)

مصطلحات موضوعية: Artificial Intelligence and Image Processing, History and Philosophy of Specific Fields, Philosophy

URL الوصول: https://escholarship.org/uc/item/49d0d4dh

المؤلفون: Ågotnes, Thomas, Alechina, Natasha, Galimullin, Rustam

المساهمون: Sub Intelligent Systems, Intelligent Systems

مصطلحات موضوعية: Distributed knowledge, Dynamic epistemic logic, Group announcement logic, Public announcement logic, Computer Science (miscellaneous), Philosophy, Linguistics and Language

وصف الملف: application/pdf

Relation: https://dspace.library.uu.nl/handle/1874/425103

الاتاحة: https://dspace.library.uu.nl/handle/1874/425103

المؤلفون: Ågotnes, Thomas, Alechina, Natasha

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

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

المؤلفون: Ågotnes, Thomas, van Ditmarsch, Hans, Wang, Yanjing

المصدر: Synthese, 2018 Oct 01. 195(10), 4581-4615.

URL الوصول: https://www.jstor.org/stable/26750640

المؤلفون: Parmann, Erik, Ågotnes, Thomas

المصدر: Journal of Logic and Computation ; volume 31, issue 4, page 1055-1078 ; ISSN 0955-792X 1465-363X

الاتاحة: http://dx.doi.org/10.1093/logcom/exab001
https://academic.oup.com/logcom/article-pdf/31/4/1055/42098935/exab001.pdf

المؤلفون: Ågotnes, Thomas, Goranko, Valentin, Jamroga, Wojciech, Wooldridge, Michael

المصدر: Handbook of Epistemic Logic. :543-589

مصطلحات موضوعية: epistemic logic, multi-agent systems, knowledge, abilities, matematisk logik, Mathematical Logic, datalogi, Computer Science, Theoretical Philosophy, teoretisk filosofi

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-123448
http://collegepublications.co.uk/handbooks/?00002
https://su.diva-portal.org/smash/get/diva2:874163/FULLTEXT01.pdf

المؤلفون: Ågotnes, Thomas, Sakama, Chiaki

المصدر: Logic, Rationality, and Interaction ; Lecture Notes in Computer Science ; page 306-321 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031455575 9783031455582

الاتاحة: http://dx.doi.org/10.1007/978-3-031-45558-2_24
https://link.springer.com/content/pdf/10.1007/978-3-031-45558-2_24

المؤلفون: Lindqvist, John, Velázquez-Quesada, Fernando R., Ågotnes, Thomas

المصدر: Lecture Notes in Computer Science ; Dynamic Logic. New Trends and Applications ; page 106-124 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031266218 9783031266225

الاتاحة: http://dx.doi.org/10.1007/978-3-031-26622-5_7
https://link.springer.com/content/pdf/10.1007/978-3-031-26622-5_7

المؤلفون: Xiong, Zuojun, Ågotnes, Thomas

المصدر: Annals of Mathematics and Artificial Intelligence ; volume 91, issue 6, page 899-899 ; ISSN 1012-2443 1573-7470

الاتاحة: https://doi.org/10.1007/s10472-022-09825-y
https://link.springer.com/content/pdf/10.1007/s10472-022-09825-y.pdf
https://link.springer.com/article/10.1007/s10472-022-09825-y/fulltext.html

المؤلفون: Ågotnes, Thomas, Alechina, Natasha

المصدر: Journal of Logic, Language, and Information, 2014 Apr 01. 23(2), 105-106.

URL الوصول: https://www.jstor.org/stable/24462331

المؤلفون: Ågotnes, Thomas, Alechina, Natasha

المصدر: Journal of Logic, Language, and Information, 2014 Apr 01. 23(2), 197-217.

URL الوصول: https://www.jstor.org/stable/24462335