Learn More
The task to be solved within our core research was the design and development of a document analysis toolbox covering typical document analysis tasks such as document understanding, information extraction and text recognition. In order to prove the feasibility of our concepts, we have developed the prototypical analysis system OfficeMAID. The system(More)
The model elimination calculus is a linear, refutationally complete calculus for first order clause logic. We show how to extend this calculus with aframeworkfor theory reasoning. Theory reasoning m~ans to separate the knowledge of a given domain or theory and treat it by special purpose inference rules. We present two versions of theory model elimination:(More)
  • 1