Login / Signup
Solving inductive reasoning problems in mathematics: not-so-trivial pursuit.
Lisa A. Haverty
Kenneth R. Koedinger
David Klahr
Martha W. Alibali
Published in:
Cogn. Sci. (2000)
Keyphrases
</>
reasoning problems
description logics
decision procedures
reasoning tasks
constraint satisfaction problems
computational properties
tree decomposition
machine learning
integrity constraints
inductive logic programming
modal logic
probabilistic reasoning
ontology languages