3573 search results - page 347 / 715 » Reasoning about Codata |
174
click to vote
IDEAL
2004
Springer
16 years 2 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 ...
165
click to vote
ISCIS
2004
Springer
16 years 2 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...
164
click to vote
KR
2004
Springer
16 years 2 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 ...
166
click to vote
POLICY
2004
Springer
16 years 1 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
164
Voted
PRIMA
2004
Springer
16 years 1 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...