2303 search results - page 39 / 461 » On the logic of argumentation theory |
115
click to vote
JLP
2007
15 years 1 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
ICLA
2009
Springer
15 years 8 months ago
2009
Springer
122
click to vote
ELECTRONICMARKETS
2010
14 years 11 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
108
click to vote
IJCAI
2007
15 years 3 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
119
click to vote
JAPLL
2008
15 years 1 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...