Multi-agent logic for reasoning about duties and powers in private law.
Tianwen XuFengkui JuPublished in: ICAIL (2023)
Keyphrases
- multi agent
- formal theory
- modal operators
- cognitive agents
- cooperative
- multi agent systems
- privacy preserving
- multi valued
- modal logic
- spatial reasoning
- multiagent systems
- probabilistic knowledge
- deontic logic
- agent communication
- legal reasoning
- causal reasoning
- reinforcement learning
- classical logic
- agent programming
- digital circuits
- agent oriented
- multiple agents
- intelligent agents
- rational agents
- predicate logic
- data sets
- epistemic logic
- qualitative reasoning
- dynamic logic
- description logics
- case law