2152 search results - page 241 / 431 » On Automating the Calculus of Relations |
195
click to vote
ILP
2007
Springer
16 years 18 days ago
2007
Springer
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
131
click to vote
TARK
2007
Springer
16 years 17 days ago
2007
Springer
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
156
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
172
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
This paper briefly considers several research issues, some of which are on-going and some others are for further research. The starting point is that many AI topics, especially th...
162
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...