20294 search results - page 190 / 4059 » Algorithmic Information Theory |
176
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...
154
Voted
BXML
2004
15 years 6 months ago
2004
: If Topic Maps should be exchanged in distributed environments a common semantic problem occurs: Do two Topics refer to the same Subject? If they describe the same Subject the giv...
139
click to vote
CADE
2001
Springer
16 years 5 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...
127
Voted
INFORMATION
2011
14 years 12 months ago
2011
The purpose of this paper is to examine existing methods of semantic information quantification and suggest some alternatives. It begins with an outline of Bar-Hillel and Carnap...
153
Voted
FOIS
2006
15 years 6 months ago
2006
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...