Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
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
重思道义逻辑在法律人工智能中的角色（Rethinking the Role of Deontic Logic in Legal Artificial Intelligence）
Published in 山西大学学报(Journal of Shanxi University), 47(6), 2024
This paper reviews the role of deontic logic in the field of AI and law. This paper is in Chinese.
Recommended citation: Tianwen Xu. (2024). " Rethinking the Role of Deontic Logic in Legal Artificial Intelligence. " Journal of Shanxi University. 47(6).
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.