The following pages link to PROLEG (Q24058):
Displaying 4 items.
- Logic programming and burden of proof in legal reasoning (Q468586) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
