Signature Entrenchment and Conceptual Changes in Automated Theory Repair.

Xue Li Alan Bundy Eugene Philalithis

Published in: CoRR (2022)

Keyphrases

theoretical foundation
real time
semi automated
data driven
fully automated
database
neural network
artificial intelligence
multi agent
query language
theoretical framework
computer aided
conceptual model
information theory
signature verification