Undecidability of accordance for open systems with unbounded message queues.

Richard Müller Christian Stahl Walter Vogler

Published in: Inf. Process. Lett. (2014)

Keyphrases

open systems
autonomous agents
email
description logics
multiagent systems
mobile communication
mobile devices
cognitive agents
probabilistic planning
wisdom web
open multiagent systems
web services
bayesian networks
fuzzy logic
computer simulation
single server