Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.

Graham Steel Alan Bundy

Published in: J. Autom. Reason. (2006)

Keyphrases

inductive inference
inductive learning
machine learning
real time
real world
theorem prover
group members
neural network
information retrieval
knowledge representation
functional programs
group membership
inductive concept learning