Is It Reasonable to Employ Agents in Automated Theorem Proving?.
Max WisniewskiChristoph BenzmüllerPublished in: ICAART (1) (2016)
Keyphrases
- automated theorem proving
- multi agent systems
- theorem proving
- theorem prover
- multi agent
- multiagent systems
- intelligent agents
- cooperative
- multiple agents
- autonomous agents
- answer set programming
- artificial agents
- software agents
- resource allocation
- mobile agents
- interacting agents
- agent systems
- learning agents
- decision making
- incomplete information
- first order logic
- agent technology
- agent model
- dynamic environments
- action selection
- expert systems
- machine learning