Sign in

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

Ingrid BiehlBernd MeyerSusanne 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