Login / Signup
Resource Adaptive Agents in Interactive Theorem Proving
Christoph Benzmüller
Volker Sorge
Published in:
CoRR (2009)
Keyphrases
</>
agent model
interactive theorem proving
resource allocation
adaptive behavior
resource constraints
multi agent
cooperative
multi agent systems
resource management
agent receives