Dynamic Term-Modal Logics for First-Order Epistemic Planning

Autor: Liberman, Andrés Occhipinti, Achen, Andreas, Rendsvig, Rasmus Kræmmer

Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(

Externí odkaz: http://arxiv.org/abs/1906.06047

Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305]

Autor: Occhipinti Liberman, Andrés, Achen, Andreas, Rendsvig, Rasmus Kræmmer

Publikováno v: In Artificial Intelligence October 2023 323

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode

Autor: Belardinelli, Gaia, Rendsvig, Rasmus Kræmmer

Publikováno v: Belardinelli, G & Rendsvig, R K 2020, Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode . in Dynamic Logic. New Trends and Applications : DaLi 2020-International Workshop on Dynamic Logic . vol. 12569, Springer, Lecture Notes in Computer Science, vol. 12569, pp. 33-50 . https://doi.org/10.1007/978-3-030-65840-3_3

Heifetz, Meier & Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled constru

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2751::8bfff5f8627edda5776cf55987f31221
https://curis.ku.dk/portal/da/publications/awareness-logic-a-kripkebased-rendition-of-the-heifetzmeierschipper-mode(3fe96101-ab03-409c-9673-99921658f4aa).html

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

Autor: Klein, Dominik, Rendsvig, Rasmus Kræmmer

Publikováno v: Klein, D & Rendsvig, R K 2017, Convergence, Continuity and Recurrence in Dynamic Epistemic Logic . in A Baltag, J Seligman & T Yamada (eds), Logic, Rationality and Interaction : LORI 2017 . Springer, Berlin, Lecture notes in computer science, no. 10455, pp. 108-122 . https://doi.org/10.1007/978-3-662-55665-8_8

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2751::cbdadf57e0543371ae6d903daa5acb12
https://curis.ku.dk/ws/files/208823366/ContConcRecc_in_DEL.pdf

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Autor: Rendsvig, Rasmus Kræmmer

Publikováno v: Rendsvig, R K 2015, Model Transformers for Dynamical Systems of Dynamic Epistemic Logic . in W van der Hoek, W H Holliday & W Wang (eds), Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings . Springer, Berlin, Lecture notes in computer science, vol. 9394, pp. 316-327 . https://doi.org/10.1007/978-3-662-48561-3_26

I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2751::b5303509da8265b4770b1d743d1e6ded
https://curis.ku.dk/portal/da/publications/model-transformers-for-dynamical-systems-of-dynamic-epistemic-logic(2a3bc117-d61a-4ed1-8df1-541110477e56).html