Proof Transformations and Structural Invariance.
Stefan HetzlAlexander LeitschPublished in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
- image transformations
- structural information
- theorem prover
- invariant features
- structural model
- real time
- information retrieval
- learning algorithm
- computer vision
- information systems
- knowledge base
- theorem proving
- structural features
- automated theorem proving
- view invariant action recognition
- geometry theorem proving