Title
Resource Guided Concurrent Deduction
Abstract
d and applied.While this is a successful and appropriate approximationfor many tasks (in particular for well understood domains),it seems to have some limitations, which can be bettercaptured by an approach that is not only cooperative butalso concurrent. Minsky (1985) gives convincing argumentsthat the mind of a single person can and should beconsidered as a society of agents. Put in the context ofmathematical reasoning this indicates that it is necessaryto go beyond the traditional...
Year
Venue
Field
2000
ARW
Unconscious mind,Semantic reasoner,Cognitive science,Computer science,Automated theorem proving,Expert system,Id, ego and super-ego,Phenomenon,Hadamard transform,Mathematical problem
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
2
4
Name
Order
Citations
PageRank
Christoph Benzm1482.90
Mateja Jamnik215830.79
Manfred Kerber341360.18
Volker Sorge454257.29