2152 search results - page 118 / 431 » On Automating the Calculus of Relations |
151
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
ILP
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a novel method for relational learning with neural networks. The contributions of this paper are threefold. First, we introduce the concept of relational neural networ...
174
click to vote
ILP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
101
click to vote
DELTA
2006
IEEE
15 years 6 months ago
2006
IEEE
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...