Tianwen Xu

Tianwen Xu

A researcher in logics for computational legal theory

Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Modeling legal conflict resolution based on dynamic logic

Published in Journal of Logic and Computation, 31(4), 2021

This paper uses dynamic logic to formalize the mechanism of legal conflict resolution.

Recommended citation: Fengkui Ju, Karl Nygren, Tianwen Xu. (2021). "Modeling legal conflict resolution based on dynamic logic. " Journal of Logic and Computation. 31(4).
Download Paper

Multi-criteria coherence ranking of legal theories: the aggregation problem and possible solutions

Published in Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law. College Publications, 2023

This paper formalizes the coherence ranking of legal theories as a multi-criteria decision problem, with some potential solutions proposed.

Recommended citation: Tianwen Xu. (2023). "Multi-criteria coherence ranking of legal theories: the aggregation problem and possible solution." Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law. College Publications.
Download Paper

Multi-agent logic for reasoning about duties and powers in private law

Published in ICAIL 2023: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law. ACM, 2023

This paper proposes a multi-agent logic for reasoning about two fundamental legal concepts: duties and powers.

Recommended citation: Tianwen Xu, Fengkui Ju. (2023). "Multi-agent logic for reasoning about duties and powers in private law." ICAIL 2023: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law. ACM.
Download Paper

法律权衡方法的形式理性——基于偏好聚合的分析(The Formal Rationality of Legal Balancing Methods: An Analysis based on Preference Aggregation)

Published in 逻辑学研究(Studies in Logic), 17(2), 2024

Inspired by social choice and multi-criteria decision theory, this paper formalizes legal balancing methods as functions of preference aggregation, and proposes a procedure for testing their formal rationality. This paper is in Chinese.

Recommended citation: Tianwen Xu. (2024). "The Formal Rationality of Legal Balancing Methods: An Analysis based on Preference Aggregation." Studies in Logic. 17(2).
Download Paper

Modeling dynamics of legal relations with dynamic logic

Published in Journal of Logic and Computation, 34(2), 2024

This paper captures the dynamics of legal relations with propositional control and dynamic logic.

Recommended citation: Jan van Eijck, Fengkui Ju, Tianwen Xu. (2024). "Modeling dynamics of legal relations with dynamic logic." Journal of Logic and Computation. 34(2).
Download Paper

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.