3573 search results - page 347 / 715 » Reasoning about Codata |
150
click to vote
IDEAL
2004
Springer
15 years 10 months 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 ...
135
click to vote
ISCIS
2004
Springer
15 years 10 months 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...
138
Voted
KR
2004
Springer
15 years 10 months 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 ...
137
Voted
POLICY
2004
Springer
15 years 10 months 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 ...
133
click to vote
PRIMA
2004
Springer
15 years 10 months 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...