1769 search results - page 44 / 354 » An implementation of argument based discussion |
119
click to vote
ACL
2010
14 years 12 months ago
2010
Current Semantic Role Labeling technologies are based on inductive algorithms trained over large scale repositories of annotated examples. Frame-based systems currently make use o...
115
click to vote
ARGMAS
2005
Springer
15 years 7 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
115
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
101
click to vote
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...