CoAuto: A Formal Model for Cooperative Processes.

Jinlei Jiang Meilin Shi

Published in: GCC (2) (2003)

Keyphrases

formal model
cooperative
formal models
multi agent
security properties
predicate calculus
multi agent systems
artificial intelligence
knowledge based systems
genetic algorithm
game theory
computational models
cooperative learning