7988 search results - page 232 / 1598 » A Useful Undecidable Theory |
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
Under-contribution is a problem for many online communities. Social psychology theories of social loafing and goal-setting can provide mid-level design principles to address this ...
114
Voted
AAAI
1996
15 years 2 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
123
Voted
ICFP
2005
ACM
16 years 20 days ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
AIML
1998
15 years 2 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
98
Voted
ICA
2010
Springer
14 years 11 months ago
2010
Springer
One potential strength of recurrent neural networks (RNNs) is their – theoretical – ability to find a connection between cause and consequence in time series in an constraint-...