Author:Christoph Benzmüller

EasyChair Preprint no. 3621
EasyChair Preprint no. 3611
EasyChair Preprint no. 554


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 proving3, 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 logic4, 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.