Login / Signup
Tianwen Xu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Resolving Conflicts
Causal Reasoning
Agent Programming
Dynamic Logic
Top Venues
J. Log. Comput.
ICAIL
</>
Publications
</>
Tianwen Xu
,
Fengkui Ju
Multi-agent logic for reasoning about duties and powers in private law.
ICAIL
(2023)
Fengkui Ju
,
Karl Nygren
,
Tianwen Xu
Modeling legal conflict resolution based on dynamic logic.
J. Log. Comput.
31 (4) (2021)