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...
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 ...
David J. Jilk, Christian Lebiere, Randall C. O'Rei...