C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
2006
2006
2006
Keyphrases
Publications
2006
Iliano Cervesato
A Spreadsheet for Everyday Symbolic Reasoning.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
André Valente
,
David Van Brackle
,
Hans Chalupsky
,
Gary Edwards
Implementing Logic Spreadsheets in LESS.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
Andrew S. Gordon
,
Reid Swanson
Integrating Logical Inference into Statistical Text Classification Applications.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
Jaesik Choi
,
Eyal Amir
Factored Planning for Controlling a Robotic Arm.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
Michael Kassoff
,
Charles Petrie
,
Lee-Ming Zen
,
Michael R. Genesereth
Semantic Email Addressing: Sending to People, Not Strings.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
Integrating Reasoning into Everyday Applications, Papers from the 2006 AAAI Fall Symposium, Washington, DC, USA, October 13-15, 2006.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)
Marcelo Tallis
,
Rand Waltzman
,
Bob Balzer
Adding Deductive Logic to a COTS Spreadsheet.
AAAI Fall Symposium: Integrating Reasoning into Everyday Applications
(2006)