Theory Reasoning in Connection Calculi

Speaking Minds: Interviews with Twenty Eminent Cognitive Scientists

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Improving text classification with Boolean retrieval for rare categories: A case study identifying firearm violence conversations in the Crisis Text Line database