1912 search results - page 55 / 383 » On the evaluation of argumentation formalisms |
74
Voted
ITS
2010
Springer
15 years 3 months ago
2010
Springer
The ability to argue is essential in many aspects of life, but traditional face-to-face tutoring approaches do not scale up well. A solution for this dilemma may be computer-suppor...
ANLP
2000
15 years 1 months ago
2000
We propose a method for identifying diathesis alternations where a particular argument type is seen in slots which have different grammatical roles in the alternating forms. The m...
RELMICS
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
102
click to vote
JANCL
2002
14 years 11 months ago
2002
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...