Login / Signup

Speculative Computation Through Consequence-Finding in Multi-Agent Environments.

Katsumi InoueKoji Iwanuma
Published in: Ann. Math. Artif. Intell. (2004)
Keyphrases
  • consequence finding
  • multi agent environments
  • multi agent
  • theorem proving
  • autonomous agents
  • multi agent systems
  • reinforcement learning
  • cooperative
  • virtual environment
  • first order logic