734 search results - page 121 / 147 » A Question-Answering System Using Argumentation |
115
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
99
Voted
AAAI
2004
15 years 4 months ago
2004
Computer systems are rapidly becoming so complex that maintaining them with human support staffs will be prohibitively expensive and inefficient. In response, visionaries have beg...
165
Voted
GAMEON
2003
15 years 4 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
104
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
In many settings, agents need to identify competent partners to assist them in accomplishing tasks. Direct experience may not provide sufficient data to learn the competence of ot...
114
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...