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
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.