307 search results - page 41 / 62 » On Hierarchical Reasoning in Combinations of Theories |
108
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
103
click to vote
IQ
2001
15 years 3 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
118
click to vote
ESSLLI
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
128
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
124
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...