Sciweavers

AAAI
2004
13 years 6 months ago
QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...
Ulrich Junker
AAAI
2004
13 years 6 months ago
Knowledge State Reconsideration: Hindsight Belief Revision
Frances L. Johnson, Stuart C. Shapiro
AAAI
2004
13 years 6 months ago
Identifying Terrorist Activity with AI Plan Recognition Technology
We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hosti...
Peter Jarvis, Teresa F. Lunt, Karen L. Myers
AAAI
2004
13 years 6 months ago
Making Argumentation More Believable
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
Anthony Hunter
AAAI
2004
13 years 6 months ago
Dynamic Programming for Partially Observable Stochastic Games
We develop an exact dynamic programming algorithm for partially observable stochastic games (POSGs). The algorithm is a synthesis of dynamic programming for partially observable M...
Eric A. Hansen, Daniel S. Bernstein, Shlomo Zilber...
AAAI
2004
13 years 6 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
AAAI
2004
13 years 6 months ago
The Independent LifeStyle AssistantTM (I.L.S.A.): AI Lessons Learned
The Independent LifeStyle AssistantTM (I.L.S.A.) is an agentbased monitoring and support system to help elderly people to live longer in their homes by reducing caregiver burden. ...
Karen Zita Haigh, Liana M. Kiff, Janet Myers, Vale...