Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles.

Published in: J. Symb. Log. (2001)

Keyphrases

data sets
design criteria
computer vision
management system
theoretical framework
formal methods
image processing
expert systems
information technology
relational databases
distributed systems
intelligent systems
knowledge based systems
closely related
inference rules
systems require