E-LIB Suche - Ergebnisse für: Kuijer, Louwe B

1

Perceived effectiveness of lecture videos:

Kuijer, Louwe B.
Developing Academic Practice. 2023 (2023) Special - p. 101-107 , 2023

Link: https://doi.org/10.3828/..

2

Reasoning about general preference relations:

Grossi, Davide ; van der Hoek, Wiebe ; Kuijer, Louwe B.
Artificial Intelligence. 313 (2022) - p. 103793 , 2022

Link: https://doi.org/10.1016/..

3

Who Should Be My Friends? Social Balance from the Perspecti..:

Hoek, Wiebe van der ; Kuijer, Louwe B. ; Wáng, Yì N.
Journal of Logic, Language and Information. 31 (2022) 2 - p. 189-211 , 2022

Link: https://doi.org/10.1007/..

4

Almost APAL:

van Ditmarsch, Hans ; Liu, Mo ; Kuijer, Louwe B.
Journal of Logic and Computation. 33 (2022) 6 - p. 1350-1378 , 2022

Link: https://doi.org/10.1093/..

5

Logics for Knowability:

Liu, Mo ; Fan, Jie ; Van Ditmarsch, Hans.
Logic and Logical Philosophy. , 2021

Link: https://doi.org/10.12775..

6

The logic of gossiping:

van Ditmarsch, Hans ; van der Hoek, Wiebe ; Kuijer, Louwe B.
Artificial Intelligence. 286 (2020) - p. 103306 , 2020

Link: https://doi.org/10.1016/..

7

Arrow update synthesis:

van Ditmarsch, Hans ; van der Hoek, Wiebe ; Kooi, Barteld.
Information and Computation. 275 (2020) - p. 104544 , 2020

Link: https://doi.org/10.1016/..

8

Expressivity of Some Versions of APAL:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

van Ditmarsch, Hans ; Liu, Mo ; Kuijer, Louwe B.. - p. 120-136 , 2020

Link: https://doi.org/10.1007/..

9

Who Should Be My Friends?: Social Balance from the Perspect..:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,

van der Hoek, Wiebe ; Kuijer, Louwe B. ; Wáng, Yì N. - p. 370-384 , 2019

Link: https://doi.org/10.1007/..

10

Reachability of Five Gossip Protocols:

, In: Lecture Notes in Computer Science; Reachability Problems,

van Ditmarsch, Hans ; Gattinger, Malvin ; Kokkinis, Ioannis. - p. 218-231 , 2019

Link: https://doi.org/10.1007/..

11

Knowledge Without Complete Certainty:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

van Ditmarsch, Hans ; Kuijer, Louwe B. - p. 619-632 , 2019

Link: https://doi.org/10.1007/..

12

Second-order propositional modal logic: Expressiveness and ..:

Belardinelli, Francesco ; van der Hoek, Wiebe ; Kuijer, Louwe B.
Artificial Intelligence. 263 (2018) - p. 3-45 , 2018

Link: https://doi.org/10.1016/..

13

The undecidability of arbitrary arrow update logic:

van Ditmarsch, Hans ; van der Hoek, Wiebe ; Kuijer, Louwe B.
Theoretical Computer Science. 693 (2017) - p. 1-12 , 2017

Link: https://doi.org/10.1016/..

14

Arbitrary arrow update logic:

van Ditmarsch, Hans ; van der Hoek, Wiebe ; Kooi, Barteld.
Artificial Intelligence. 242 (2017) - p. 80-106 , 2017

Link: https://doi.org/10.1016/..

15

On the Length and Depth of Temporal Formulae Distinguishing..:

, In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME),

Goranko, Valentin ; Kuijer, Louwe B. - p. 177-185 , 2016

Link: https://doi.org/10.1109/..