Login / Signup
Using Proof Failures to Help Debugging MAS.
Bruno Mermet
Gaële Simon
Published in:
ICAART (2) (2019)
Keyphrases
</>
multi agent systems
multiagent systems
cooperative
theorem prover
complex systems
geometry theorem proving
multi agent
theorem proving
fault localization
natural deduction
automated theorem proving
novice programmers
agent technology
distributed multi agent systems
young students
failure detection
failure rate
data mining
website
artificial intelligence