4708 search results - page 36 / 942 » Generating the Structure of Argument |
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
K n CCS n b kkn n K n K Categories and Subject Descriptors Artificial Intelligence General Terms Keywords
118
click to vote
EOR
2002
15 years 4 months ago
2002
: We present the groupware MEMO-Net which aim is to support collective problem solving and to memorize all exchanged arguments. This groupware is based on a knowledgestructuring me...
149
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
132
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
141
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...