793 search results - page 10 / 159 » Argumentation and standards of proof |
CALCO
2005
Springer
14 years 28 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
FOCS
2002
IEEE
14 years 10 days ago
2002
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
DM
1999
13 years 7 months ago
1999
We give an alternative proof of the fact that a planar function cannot exist on groups of even order. The argument involved leads us to define a class of functions which we
AI
2007
Springer
13 years 7 months ago
2007
Springer
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...