887 search results - page 30 / 178 » A Science of Reasoning |
DFKI
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the methodology of ontology construction. It identifies five styles of approach to ontologizing (deriving from philosophy, cognitive science, linguistics, AI/c...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
RTA
1987
Springer
14 years 10 days ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
NN
2000
Springer
13 years 8 months ago
2000
Springer
This article gives an overview of the different functional brain imaging methods, the kinds of questions these methods try to address and some of the questions associated with fun...