1 paper · 2 filters
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…