Logic and the complexity of reasoning

This publication has 22 references indexed in Scilit:

• A critique of pure treason
  Computational Intelligence, 1987
• Cortical connections and parallel processing: Structure and function
  Behavioral and Brain Sciences, 1986
• The intractability of resolution
  Theoretical Computer Science, 1985
• The complexity of recognizing polyhedral scenes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks
  Computer, 1983
• Generic terms and generic sentences
  Journal of Philosophical Logic, 1982
• Intuitive semantics for first-degree entailments and ?coupled trees?
  Philosophical Studies, 1976
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971
• A note on the Entscheidungsproblem
  The Journal of Symbolic Logic, 1936