Ensuring the Integrity of Agent-Based Computations by Short Proofs.

Ingrid Biehl Bernd Meyer Susanne Wetzel

Published in: Mobile Agents (1998)

Keyphrases

multi agent
theorem proving
cooperative
equational theories
genetic algorithm
multi agent systems
agent oriented
integrity checking
database integrity
decision making
integrity constraints
high assurance