7 search results - page 1 / 2 » jetai 2008 |
86
Voted
JETAI
2008
15 years 1 months ago
2008
75
Voted
JETAI
2008
15 years 1 months ago
2008
80
Voted
JETAI
2008
15 years 1 months ago
2008
94
Voted
JETAI
2008
15 years 1 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
112
Voted
JETAI
2008
15 years 1 months ago
2008
gle level of abstraction cannot capture the required richness of behavior. In this paper, we offer a brief principled defense of epistemological pluralism in cognitive science and ...