2436 search results - page 217 / 488 » Comonadic Notions of Computation |
204
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
169
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
160
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
166
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
151
click to vote
EDUTAINMENT
2009
Springer
16 years 1 months ago
2009
Springer
Acts of interpersonal touch – a touch shared between two people – are used by couples to communicate in a simple and emotionally intimate way. In this paper, we argue that the ...