Logic and the complexity of reasoning-Reference-Cited by-同舟云学术

Logic and the complexity of reasoning

Published:1988-11 Issue:4 Volume:17 Page:355-389
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Levesque Hector J.

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF00297511.pdf

Reference40 articles.

1. Anderson, A. and Belnap, N.: 1975, Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton, NJ.

2. Ballard, D.: 1986. Cortical connections and parallel processing: structure and function. The Behavioral and Brain Sciences 9(1) 67?90.

3. Barton, G. E., Berwick, R. and Ristad, E.: 1987, Computational Complexity and Natural Language. MIT Press, Cambridge, MA.

4. Brachman, R.: 1983, What is-a is and isn't: an analysis of taxonomic links in semantic networks. IEEE Computer 16(10): 30?36.

5. Brachman, R. and Levesque, H.: 1984, The tractability of subsumption in frame-based description languages. In AAAI-84, pages 34?37, Austin, TX.

Cited by 102 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generic properties of a computational task predict human effort and performance;Journal of Mathematical Psychology;2021-09

2. Computational Complexity of Intensional Emotive Constructions, (In)tractability and Natural Language Processing;New Mathematics and Natural Computation;2021-04-07

3. Structural properties of individual instances predict human effort and performance on an NP-Hard problem;2018-08-31

4. Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic;Journal of Logic, Language and Information;2018-05-14

5. Augmented human mind;Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers;2017-09-11