1 paper
Christoph Benzmueller, Volker Sorge
We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism uses a two layered architecture of agent societies to suggest…