fall-2006-04

Contents

• Integrating Logical Inference Into Statistical Text Classification Applications

  Andrew S. Gordon, Reid Swanson

  PDF

• Contents

  Michael Kassoff

  PDF

• A Spreadsheet for Everyday Symbolic Reasoning

  Iliano Cervesato

  PDF

• Semantic Email Addressing: Sending Email to People, Not Strings

  Michael Kassoff, Charles Petrie, Lee-Ming Zen, Michael Genesereth

  PDF

• Adding Deductive Logic to a COTS Spreadsheet

  Marcelo Tallis, Rand Waltzman, Robert Balzer

  PDF

• Implementing Logic Spreadsheets in LESS

  Andre Valente, David Van Brackle, Hans Chalupsky, Gary Edwards

  PDF

• Factored Planning for Controlling a Robotic Arm

  Jaesik Choi, Eyal Amir

  PDF