PROLEG

swMATH12125MaRDI QIDQ24058FDOQ24058

Author name not available (Why is that?)

Cited In (4)

• Justifying answer sets using argumentation
• Logic programming and burden of proof in legal reasoning
• Dischargeable Obligations in the 𝒮CIFF Framework
• Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter

This page was built for software: PROLEG