Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 12 resultaten
Zoekresultaten
-
2021
How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation
Grossi, D., Kooi, B., Su, X. & Verbrugge, R., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (redactie). Springer Science and Business Media Deutschland GmbH, blz. 201-215 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).Onderzoeksoutput › Academic › peer review
Open AccessBestand1 Citaat (Scopus)37 Downloads (Pure) -
2018
Provability logic meets the knower paradox
de Vos, M., Kooi, B. & Verbrugge, R., 31-aug.-2018, Advances in Modal Logic 2018: Accepted Short Papers. D’Agostino, G. & Bezhanishvilii, G. (redactie). Rijksuniversiteit Groningen, blz. 31-35 5 blz.Onderzoeksoutput › Academic › peer review
Open AccessBestand137 Downloads (Pure) -
2017
Cheryl's birthday
van Ditmarsch, H., Hartley, M. I., Kooi, B., Welton, J. & Yeo, J. B. W., 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017). Lang, J. (redactie). Open Publishing Association, blz. 1-9 (Electronic Proceedings in Theoretical Computer Science; vol. 251).Onderzoeksoutput › Academic
Open AccessBestand1 Citaat (Scopus)272 Downloads (Pure) -
2012
On the relative succinctness of two extensions by definitions of multimodal logic
van der Hoek, W., Iliev, P. & Kooi, B. P., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). Cooper, S. B., Dawar, A. & Löwe, B. (redactie). Lecture notes in computer science, Vol. 7318. blz. 323 - 333 (Lecture Notes in Computer Science).Onderzoeksoutput › Academic › peer review
6 Citaten (Scopus)43 Downloads (Pure) -
2011
Generalized Arrow Update Logic
Kooi, B. & Renne, B., 2011, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK XIII 2011). Apt, K. R. (redactie). New York: ACM Press, blz. 205-211 7 blz.Onderzoeksoutput › Academic › peer review
21 Citaten (Scopus) -
Logics of Rational Interaction
Kooi, B. P. & Pacuit, E., 2011, Dynamic Formal Epistemology. Girard, P., Roy, O. & Marion, M. (redactie). Dordrecht: Springer, blz. 5-32 28 blz. (Synthese Library; vol. 351).Onderzoeksoutput › Academic › peer review
-
Reasoning about local properties in modal logic
Kooi, B., Ditmarsch, H. V. & Hoek, W. V. D., 2011, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems. Tumer, K., Yolum, P., Sonenberg, L. & Stone, P. (redactie). Richland: IFAAMAS, blz. 711-718 8 blz.Onderzoeksoutput › Academic › peer review
Open AccessBestand4 Citaten (Scopus)106 Downloads (Pure) -
Succinctness of epistemic languages
French, T., Hoek, W. V. D., Iliev, P. & Kooi, B., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11). Walsh, T. (redactie). Menlo Park: AAAI Press, blz. 881-886 6 blz.Onderzoeksoutput › Academic › peer review
17 Citaten (Scopus) -
2009
Knowing more - from global to local correspondence
Kooi, B. P., van Ditmarsch, H. & van der Hoek, W., 2009, Proceedings of IJCAI-09. Boutilier, C. (redactie).Onderzoeksoutput › Academic
11 Citaten (Scopus) -
2005
Common knowledge in update logics
Kooi, B. P., van Bethem, J. & Van Eijck, J., 2005, Theoretical aspects of rationality and knowledge: proceeding of the tenth conference. R. van der Meyden (redactie). blz. 253 - 261Onderzoeksoutput › Academic › peer review
10 Citaten (Scopus) -
Dynamic epistemic logic with assignment
Kooi, B. P., van Ditmarsch, H. P. & van der Hoek, W., 2005, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent. F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge (redactie). New York: ACM Press, blz. 141 - 148Onderzoeksoutput › Academic › peer review
4 Citaten (Scopus) -
2004
Strong Completeness for Non-compact Hybrid Logics
Kooi, B., Renardel de Lavalette, G. & Verbrugge, L. C., 2004, AiML-2004: Advances in Modal Logic. Schmidt, R., Pratt-Hartmann, I., Reynolds, M. & Wansing, H. (redactie). University of Manchester: Department of Computer Science, blz. 212-223 12 blz.Onderzoeksoutput › Academic › peer review