Author:Christoph Benzmüller



application in ontology reasoning, assertion level proofs, automated reasoning in non-classical logics, automated theorem prover, automated theorem proving3, automatic theorem provers, Boolean extensionality and modalities, evaluation, experiments, first-order modal logics, higher-order automated theorem provers, higher-order logic4, Higher-Order Modal Logic, higher-order theorem proving, implementation of provers, machine learning, modal logic, paramodulation, proof objects, proof presentation, prover cooperation, resolution, Semantical Embedding, simple type theory, system description.