PROLEG

MaRDI QIDQ24058swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-642-25655-4_14

Cited in

(6)

• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Justifying answer sets using argumentation
• SCIFF
• Vadalog
• Logic programming and burden of proof in legal reasoning
• Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter

This page was built for software: PROLEG