Author:Christoph Benzmüller

EasyChair Preprint no. 554


application in ontology reasoning, assertion level proofs, automated reasoning, automated reasoning in non-classical logics, automated theorem prover, automated theorem proving3, automatic theorem provers, Boolean extensionality and modalities, classical higher-order logic, Dyadic deontic logic E, 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, Preference Models, proof objects, proof presentation, prover cooperation, resolution, semantic embedding, Semantical Embedding, simple type theory, system description.