Logic programming and burden of proof in legal reasoning

DOI10.1007/S00354-012-0402-6zbMath1298.68260OpenAlexW2076026110MaRDI QIDQ468586

Ken Satoh

Publication date: 7 November 2014

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00354-012-0402-6

zbMATH Keywords

logic programmingburden of proofcivil codeultimate fact theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Other social and behavioral sciences (mathematical treatment) (91F99) Logic programming (68N17)

Uses Software

• PROLEG

Cites Work

• The carneades model of argument and burden of proof
• Defeasible logic programming: an argumentative approach
• Unnamed Item

This page was built for publication: Logic programming and burden of proof in legal reasoning