Author:Christoph Benzmüller

Keyphrases

application in ontology reasoning, Artificial Intelligence, artificial social reasoning model, assertion level proofs, automated reasoning, automated reasoning in non-classical logics, automated theorem prover, automated theorem proving³, automatic theorem provers, Boolean extensionality and modalities, classical higher-order logic, Dyadic deontic logic E, Ethico-Legal Governors, evaluation, experiments, first-order modal logics, Free Higher-Order Logic, free logic, higher-order automated theorem provers, higher-order logic⁴, Higher-Order Modal Logic, higher-order theorem proving, implementation of provers, Interactive and Automated Theorem Proving, Knowledge Representation and Reasoning, machine learning, modal logic, normative reasoning, paramodulation, Partiality and undefinedness, Philosophical foundations of AI, Pluralistic Normative Reasoning, positive free logic, Preference Models, Prior’s paradox, proof objects, proof presentation, prover cooperation, resolution, semantic embedding, Semantical Embedding, simple type theory, Social Reasoning Models, system description, Trusthworthy and Explainable AI.