3729 search results - page 351 / 746 » On Formal Modeling of Agent Computations |
183
click to vote
EEMMAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
170
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Knowledge artifacts that have been labeled as ontologies have many different qualities and intended outcomes. This is particularly true of bio-ontologies where high demand has led...
183
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
174
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
Using simulation environments to support mobile distributed application development has many benefits. Since mobile devices can be modeled as autonomous intelligent agents, the mu...
174
click to vote
AAAI
2008
15 years 9 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...