2152 search results - page 146 / 431 » On Automating the Calculus of Relations |
166
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
127
click to vote
DATESO
2004
15 years 7 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
162
click to vote
DLOG
1997
15 years 7 months ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...
169
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is 0 1complete. (ii)...