PROLEG

swMATH12125MaRDI QIDQ24058FDOQ24058

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: PROLEG