1912 search results - page 35 / 383 » On the evaluation of argumentation formalisms |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
KER
2006
14 years 11 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
113
click to vote
FBIT
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
117
click to vote
ACL
2010
14 years 9 months ago
2010
A challenging problem in open information extraction and text mining is the learning of the selectional restrictions of semantic relations. We propose a minimally supervised boots...
CADE
2002
Springer
16 years 3 days ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...