264 search results - page 4 / 53 » Making Argumentation More Believable |
PUC
2007
13 years 7 months ago
2007
In this article we consider what it should mean to build ‘‘smartness’’ or ‘‘intelligence’’ into the home. We introduce an argument suggesting that it is people who ...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
DIGRA
2003
Springer
14 years 21 days ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
NAACL
2007
13 years 9 months ago
2007
PropBank has been widely used as training data for Semantic Role Labeling. However, because this training data is taken from the WSJ, the resulting machine learning models tend to...
EVOW
1998
Springer
13 years 11 months ago
1998
Springer
This paper investigates the evolution of robot controllers utilising only visual environment input data, capable of performing a hard task, playing football, in the real world. Th...