3689 search results - page 567 / 738 » A Language with Distributed Scope |
173
click to vote
HLPPP
1991
15 years 6 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
133
click to vote
REX
1991
15 years 6 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
170
click to vote
AAAI
2007
15 years 5 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
111
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
146
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...