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