Simulating Teams with Many Conjectures.

Bala Kalyanasundaram Mahendran Velauthapillai

Published in: ALT (1995)

Keyphrases

multi agent
team members
cooperative
theorem prover
expert systems
inductive inference
real time
data sets
knowledge base
data structure
digital libraries
globally distributed
messages exchanged
team composition