Dr Louwe Kuijer

Lecturer Computer Science

+44 (0)151 795 4293
Work email Louwe.Kuijer@liverpool.ac.uk
Personal Websitehttps://sites.google.com/site/lbkuijer/

Publications

Filter the publication list

Filter list by type

Show all
Journal article
Conference paper
Chapter
Other

2022

Reasoning about general preference relations (Journal article)

Grossi, D., van der Hoek, W., & Kuijer, L. B. (2022). Reasoning about general preference relations. Artificial Intelligence, 313, 103793. doi:10.1016/j.artint.2022.103793

DOI: 10.1016/j.artint.2022.103793

Who Should Be My Friends? Social Balance from the Perspective of Game Theory (Journal article)

van der Hoek, W., Kuijer, L. B., & Wang, Y. N. (2022). Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31(2), 189-211. doi:10.1007/s10849-022-09356-z

DOI: 10.1007/s10849-022-09356-z

Almost APAL (Journal article)

van Ditmarsch, H., Liu, M., Kuijer, L. B., & Sedlar, I. (2022). Almost APAL. JOURNAL OF LOGIC AND COMPUTATION. doi:10.1093/logcom/exac012

DOI: 10.1093/logcom/exac012

Logics for Knowability (Journal article)

Liu, M., Fan, J., Van Ditmarsch, H., & Kuijer, L. B. (2022). Logics for Knowability. LOGIC AND LOGICAL PHILOSOPHY, 31(3), 385-426. doi:10.12775/LLP.2021.018

DOI: 10.12775/LLP.2021.018

2020

Expressivity of Some Versions of APAL (Conference Paper)

van Ditmarsch, H., Liu, M., Kuijer, L. B., & Sedlár, I. (2020). Expressivity of Some Versions of APAL. In Lecture Notes in Computer Science (pp. 120-136). Springer Nature. doi:10.1007/978-3-030-65840-3_8

DOI: 10.1007/978-3-030-65840-3_8

The Logic of Gossiping (Journal article)

Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306

DOI: 10.1016/j.artint.2020.103306

Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory (Conference Paper)

Van der Hoek, W., Kuijer, L., & Wang, Y. (2020). Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. In PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 210-216). Retrieved from https://www.webofscience.com/

Logics of preference when there is no best (Conference Paper)

Grossi, D., Van Der Hoek, W., & Kuijer, L. B. (2020). Logics of preference when there is no best. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 Vol. 2 (pp. 454-463).

2019

Who should be my friends? Social balance from the perspective of game theory. (Conference Paper)

Van Der Hoek, W., Kuijer, L. B., & Wang, Y. (2019). Who should be my friends? Social balance from the perspective of game theory.. In International Conference on Logic, Rationality and Interaction. Chongqing, China.

Reachability of Five Gossip Protocols (Conference Paper)

Van Ditmarsch, H., Gattinger, M., Kokkinis, I., & Kuijer, L. B. (2019). Reachability of Five Gossip Protocols. In Reachability Problems Vol. 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019 (pp. 218-231).

Knowledge Without Complete Certainty (Conference Paper)

van Ditmarsch, H., & Kuijer, L. B. (2019). Knowledge Without Complete Certainty. In Unknown Conference (pp. 619-632). Springer Berlin Heidelberg. doi:10.1007/978-3-662-59533-6_38

DOI: 10.1007/978-3-662-59533-6_38

Strengthening Gossip Protocols using Protocol-Dependent Knowledge (Journal article)

van Ditmarsch, H., Gattinger, M., Kuijer, L., & Pardo, P. (2019). Strengthening Gossip Protocols using Protocol-Dependent Knowledge. Journal of Applied Logics.

2018

Second-order Propositional Modal Logic: Expressiveness and Completeness Results (Journal article)

Belardinelli, F., Van Der Hoek, W., & Kuijer, L. B. (2018). Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263, 3-45. doi:10.1016/j.artint.2018.07.004

DOI: 10.1016/j.artint.2018.07.004

Arrow update synthesis (Journal article)

van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2020). Arrow update synthesis. INFORMATION AND COMPUTATION, 275. doi:10.1016/j.ic.2020.104544

DOI: 10.1016/j.ic.2020.104544

2017

The undecidability of arbitrary arrow update logic (Journal article)

van Ditmarsch, H., van der Hoek, W., & Kuijer, L. (2017). The undecidability of arbitrary arrow update logic. Theoretical Computer Science, 693, 1-12. doi:10.1016/j.tcs.2017.07.018

DOI: 10.1016/j.tcs.2017.07.018

Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE (Conference Paper)

Kuijer, L. B. (n.d.). Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. In Electronic Proceedings in Theoretical Computer Science Vol. 251 (pp. 373-381). Open Publishing Association. doi:10.4204/eptcs.251.27

DOI: 10.4204/eptcs.251.27

Arbitrary Arrow Update Logic (Journal article)

van Ditmarsch, H., Van Der Hoek, W., Kooi, B., & Kuijer, L. (2017). Arbitrary Arrow Update Logic. Artificial Intelligence, 242, 80-106. doi:10.1016/j.artint.2016.10.003

DOI: 10.1016/j.artint.2016.10.003

2016

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems (Conference Paper)

Goranko, V., & Kuijer, L. B. (2016). On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. In 23rd International Symposium on Temporal Representation and Reasoning (TIME2016).

Fully Arbitrary Public Announcements (Conference Paper)

Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. B. (2016). Fully Arbitrary Public Announcements. In Advances in Modal Logic Vol. 11 (pp. 252-267).

2015

The expressivity of update logics (Journal article)

Kuijer, L. B. (2015). The expressivity of update logics. Journal of Logic and Computation, 25(3), 719-742. doi:10.1093/logcom/exu047

DOI: 10.1093/logcom/exu047

2014

THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Journal article)

KUIJER, L. B. (2014). THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC. The Review of Symbolic Logic, 7(2), 208-221. doi:10.1017/s1755020313000324

DOI: 10.1017/s1755020313000324

2013

Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity. (Conference Paper)

Kuijer, L. B. (2013). Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity.. In 4th International Workshop on Logic, Rationality, and Interaction (LORI) (pp. 190-203).

2012

Sanction Semantics and Contrary-to-Duty Obligations. (Conference Paper)

Kuijer, L. B. (2012). Sanction Semantics and Contrary-to-Duty Obligations.. In International Conference on Deontic Logic in Computer Science.