1689 search results - page 161 / 338 » On Natural Non-dcpo Domains |
174
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
194
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
171
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
154
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
The problem of blindly separating signal mixtures with fewer mixture components than independent signal sources is mathematically ill-defined, and requires suitable prior informat...
142
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...