A Cooperation Logic for Declaration Structures.

Published in: LORI (2009)

Keyphrases

cooperative
multi agent systems
modal logic
databases
propositional dynamic logic
real time
multi agent
logic programming
virtual enterprise
predicate logic
abductive reasoning