BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christoph Benzmüller
SearchCollections
Map detail
Christoph Benzmüller11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristoph BenzmüllerAChristoph BenzmüllerResearcherModelling Value-oriented Legal Reasoning in LogiKEyWModelling Value-oriente...preprint / 2022Reasonable Machines: A Research ManifestoWReasonable Machines: A ...preprint / 2020A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological ArgumentWA (Simplified) Supreme ...preprint / 2020Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool SupportWDesigning Normative The...preprint / 2020Update report: LEO-II version 1.5WUpdate report: LEO-II v...preprint / 2013Proceedings Eleventh Workshop on User Interfaces for Theorem ProversWProceedings Eleventh Wo...preprint / 2014Systematic Verification of the Modal Logic Cube in Isabelle/HOLWSystematic Verification...preprint / 2015On Reductions of Hintikka Sets for Higher-Order LogicWOn Reductions of Hintik...preprint / 2021Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical AnalysisWHigher-order Logic as L...preprint / 2020LeoPARD --- A Generic Platform for the Implementation of Higher-Order ReasonersWLeoPARD --- A Generic P...preprint / 2015
Person10 links

Christoph Benzmüller

Researcher

PaperModelling Value-oriented Legal Reasoning in LogiKEyAuthorship / preprint / 2022PaperReasonable Machines: A Research ManifestoAuthorship / preprint / 2020PaperA (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological ArgumentAuthorship / preprint / 2020PaperDesigning Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool SupportAuthorship / preprint / 2020PaperUpdate report: LEO-II version 1.5Authorship / preprint / 2013PaperProceedings Eleventh Workshop on User Interfaces for Theorem ProversAuthorship / preprint / 2014PaperSystematic Verification of the Modal Logic Cube in Isabelle/HOLAuthorship / preprint / 2015PaperOn Reductions of Hintikka Sets for Higher-Order LogicAuthorship / preprint / 2021

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)