5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
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…