4595 search results - page 566 / 919 » Reasoning about Plans |
147
click to vote
FC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
175
click to vote
FLOPS
2004
Springer
16 years 8 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
182
click to vote
IDEAL
2004
Springer
16 years 7 days ago
2004
Springer
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...
169
click to vote
ISCIS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
166
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...