Logic and the Complexity of Reasoning

This publication has 18 references indexed in Scilit:

• SOAR: An architecture for general intelligence
  Artificial Intelligence, 1987
• 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
• 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
• Linear resolution with selection function
  Artificial Intelligence, 1972
• A note on the Entscheidungsproblem
  The Journal of Symbolic Logic, 1936