Sciweavers

1094 search results - page 40 / 219
» On Computing Explanations in Argumentation
Sort
View
ACL
2010
14 years 8 months ago
Improving Chinese Semantic Role Labeling with Rich Syntactic Features
Developing features has been shown crucial to advancing the state-of-the-art in Semantic Role Labeling (SRL). To improve Chinese SRL, we propose a set of additional features, some...
Weiwei Sun
IGPL
2007
75views more  IGPL 2007»
14 years 10 months ago
Logic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
Edmund Harriss, Wilfrid Hodges
SOFSEM
2000
Springer
15 years 2 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
MFCS
2009
Springer
15 years 5 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
ARGMAS
2009
Springer
15 years 5 months ago
Assumption-Based Argumentation for the Minimal Concession Strategy
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
Maxime Morge, Paolo Mancarella