Title: Logic and the Complexity of Reasoning
Journal: Journal of Philosophical Logic, 17, 355-389
Comments: Argues that the computational complexity of the reasoning tasks for general logic is unreasonable, but that there are some techniques for restricted logic that go towards making it computaionally feasable for a symbol processing agent.
Keywords: PHILOSOPHY, LOGIC, COMPUTATIONAL, COMPLEXITY,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |