A study of accrual of arguments, with applications to evidential reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Modelling Defeasibility in Law: Logic or Procedure?
Fundamenta Informaticae - Deontic Logic in Computer Science
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof
Artificial Intelligence
Presumptions and Burdens of Proof
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Hi-index | 0.00 |
This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprudential literature different accounts of this issue have been given: some have argued that a presumption is nullified by counterarguments while others have maintained that this gives presumptions a force that is too slight. We argue that these differences largely are not a matter of logic but of legal policy, and we show how the various accounts can be logically formalised.