3573 search results - page 463 / 715 » Reasoning about Codata |
161
click to vote
SIES
2007
IEEE
16 years 24 days ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
171
click to vote
ICDIM
2007
IEEE
16 years 23 days ago
2007
IEEE
: Cameras attached to mobile phones are becoming more and more common, and as we move towards 3G and Next Generation Networks, it has become more a standard feature of mobile phone...
166
click to vote
AOSE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
168
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
182
click to vote
AUSDM
2007
Springer
16 years 22 days ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...