Search filters

List of works by Christoph Benzmüller

Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts

scientific article published in 2023

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy

scientific article published on 28 April 2022

Collaborative Speculations on Future Themes for Participatory Design in Germany

scientific article published in 2022

Combined reasoning by automated cooperation

scientific article published in September 2008

Experiments with an Agent-Oriented Reasoning System

scientific article published in 2001

Higher-order semantics and extensionality

LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

scientific article published on 15 October 2020

Modelling Value-Oriented Legal Reasoning in LogiKEy

scientific article published on 14 March 2024

Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega

scientific article published in 2008

Preface: Special Issue on Logic and Argumentation

scientific article published on 18 January 2023

Proofs and Reconstructions

Quantified Multimodal Logics in Simple Type Theory

The Higher-Order Prover Leo-II

scientific article published on 22 September 2015

Universal (meta-)logical reasoning: Recent successes

scientific article published in 2019

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

article

Who finds the short proof?

scientific article published on 25 January 2023