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).
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
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
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
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
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