4595 search results - page 110 / 919 » Reasoning about Plans |
152
click to vote
AIPS
2004
15 years 7 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
152
click to vote
IUI
2006
ACM
16 years 10 days ago
2006
ACM
We are reaching a crisis with design of user interfaces for consumer electronics. Flashing 12:00 time indicators, push-andhold buttons, and interminable modes and menus are all sy...
160
click to vote
LOGCOM
2007
15 years 6 months ago
2007
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
124
click to vote
FLAIRS
1998
15 years 7 months ago
1998
Automatedplanning within the scope of middle level echelondecision makingprocessesis beginningto receive increasedresearchattentionin an attemptto reducethe size of the supportsta...
166
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...