Zobrazeno 1 - 10
of 275
pro vyhledávání: '"Benzmüller Christoph"'
Large Language Model (LLM)-Powered Conversational Agents have the potential to provide users with scaled behavioral healthcare support, and potentially even deliver full-scale "AI therapy'" in the future. While such agents can already conduct fluent
Externí odkaz:
http://arxiv.org/abs/2412.15242
Publikováno v:
Open Philosophy, Vol 2, Iss 1, Pp 230-251 (2019)
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosoph
Externí odkaz:
https://doaj.org/article/f85f208bdb804c6dbd1ee6b992635817
Many European citizens become targets of the Kremlin propaganda campaigns, aiming to minimise public support for Ukraine, foster a climate of mistrust and disunity, and shape elections (Meister, 2022). To address this challenge, we developed ''Check
Externí odkaz:
http://arxiv.org/abs/2401.15717
Autor:
Parent, Xavier, Benzmüller, Christoph
We report on the mechanization of (preference-based) conditional normative reasoning. Our focus is on Aqvist's system E for conditional obligation, and its extensions. Our mechanization is achieved via a shallow semantical embedding in Isabelle/HOL.
Externí odkaz:
http://arxiv.org/abs/2308.10686
Autor:
Solopova, Veronika, Gruszczynski, Adrian, Rostom, Eiad, Cremer, Fritz, Witte, Sascha, Zhang, Chengming, Plößl, Fernando Ramos López Lea, Hofmann, Florian, Romeike, Ralf, Gläser-Zikuda, Michaela, Benzmüller, Christoph, Landgraf, Tim
Written reflective practice is a regular exercise pre-service teachers perform during their higher education. Usually, their lecturers are expected to provide individual feedback, which can be a challenging task to perform on a regular basis. In this
Externí odkaz:
http://arxiv.org/abs/2307.07523
Publikováno v:
Intelligent Computer Mathematics (CICM 2023). Lecture Notes in Computer Science, vol 14101, pp. 69-83. Springer, Cham
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic embedding of category theory by providing a formalization of the noti
Externí odkaz:
http://arxiv.org/abs/2306.09074
Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures. But its type system lacks advanced features where types may depend on terms. Dependent type theory offers such a rich type sy
Externí odkaz:
http://arxiv.org/abs/2305.15382