5086 search results - page 284 / 1018 » The Power of Comparative Reasoning |
185
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
163
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
154
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
189
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
168
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...