A Tableau-Like Representation Framework for Efficient Proof Reconstruction.

Stephan Schmitt

Published in: TABLEAUX (2000)

Keyphrases

main contribution
representation scheme
representation language
computationally efficient
image reconstruction
database
three dimensional
object recognition
description logics
lightweight
theoretical framework
cost effective
theorem proving
pruning strategy
retrieval framework
automated theorem proving