Lakatos-Style Automated Theorem Modification.

Simon Colton Alison Pease

Published in: ECAI (2004)

Keyphrases

semi automated
databases
real time
fully automated
automated analysis
data structure
cooperative
object recognition
digital topology
automated classification
von neumann
computer aided
hidden markov models
special case
multi agent systems
optimal solution
multiscale
neural network
data sets