Integrating Reasoning into Everyday Applications
Papers from the 2006 AAAI Fall Symposium
Michael Kassoff, Program Chair
Technical Report FS-06-04. Published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
A Spreadsheet for Everyday Symbolic Reasoning / 1
Iliano Cervesato
Factored Planning for Controlling a Robotic Arm / 9
Jaesik Choi and Eyal Amir
Integrating Logical Inference into Statistical Text Classification Applications / 15
Andrew S. Gordon and Reid Swanson
Semantic Email Addressing: Sending to People, Not Strings / 17
Michael Kassoff, Charles Petrie, Lee-Ming Zen, and Michael Genesereth
Adding Deductive Logic to a COTS Spreadsheet / 22
Marcelo Tallis, Rand Waltzman, and Bob Balzer
Implementing Logic Spreadsheets in LESS / 30
Andre Valente, David Van Brackle, Hans Chalupsky, and Gary Edwards