Sciweavers

AISC
2008
Springer
15 years 9 months ago
Herbrand Sequent Extraction
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
AISB
2008
Springer
15 years 9 months ago
Cognition without content
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
Paul Schweizer
AISB
2008
Springer
15 years 9 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay
AISB
2008
Springer
15 years 9 months ago
Social Robotics and the person problem
Like computers before them, social robots can be used as a fundamental research tool. Indeed, they can help us to turn our attention from putative inner modules to thinking about t...
Stephen J. Cowley
AISB
2008
Springer
15 years 9 months ago
Foundations of a Philosophy of Collective Intelligence
Philosophy, artificial intelligence and cognitive science have long been dominated by the presupposition that intelligence is fundamentally individual. Recent work in cognitive sci...
Harry Halpin