• About Us
  • Gifts
  • AI Topics
  • AI Magazine
  • Conferences
  • Library
  • Membership
  • Publications
  • Symposia
  • Contact

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

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

Other Links

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops

This site is protected by copyright and trademark laws under US and International law. All rights reserved. Copyright © 1995–2008 Association for the Advancement of Artificial Intelligence.
Your use of this site is subject to our Terms and Conditions and Privacy Policy | Home | About AAAI | Search | Log In Page | Contact AAAI
AAAI Conferences | AI Magazine | AI Topics | Awards | Calendar | Digital Library | Jobs | Meetings | Member’s Page | Membership | Press | Press Room | Publications | Resources | Symposia | Workshops