Dynamics of Judicial Proof

The papers in this collection consider whether computational or other formal logical methods developed in disciplines such as artificial intelligence, decision theory and probability theory can enable the study and management of dynamic evidentiary and inferential processes in litigation.