2293 search results - page 264 / 459 » Temporal Logic in Information Systems |
160
click to vote
CSB
2005
IEEE
16 years 7 days ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
182
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
180
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
196
click to vote
CLIMA
2006
15 years 8 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
183
click to vote
WEBDB
2007
Springer
16 years 21 days ago
2007
Springer
With the massive adoption of internet technologies, social media and blogs have become primary means of expressing opinions online. The Blogosphere contains a wealth of informatio...