Christoph Benzmüller

1. Formalization, Mechanization and Automation of G"odel's Proof of God's Existence
   2013/08/21 by Benzm uuml ller Christoph, Christoph Benzmüller, Bruno Woltzenlogel Paleo +2 · 1 voice · 1 citation
   Arts and Humanities · #Classical Philosophy and Thought #Historical, Religious, and Philosophical Studies
2. Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
   2020/06/12 by Christoph Benzmüller, Xavier Parent, Leendert van der Torre · 4 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
3. Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection
   2024/01/28 by Veronika Solopova, Viktoriia Herman, Solopova, Veronika +5 · 1 voice · 1 citation
   Social Sciences · #Misinformation and Its Impacts
4. Script-Based Dialog Policy Planning for LLM-Powered Conversational Agents: A Basic Architecture for an "AI Therapist"
   2024/12/13 by Robert Wasenmüller, Wasenmüller, Robert, Kevin Hilbert +3 · 2 citations
   Computer Science · #Speech and dialogue systems #Multi-Agent Systems and Negotiation #Topic Modeling