A Logical Characterization of Asynchronously Communicating Agents.

Søren Christensen

Published in: LFCS (1992)

Keyphrases

communicating agents
artificial agents
event calculus
knowledge base
cooperative
directed graph