This is my master thesis project, supervised by Prof. Dr. Jan Niehues and Prof. Dr. Gregor Betz, both from the Karlsruhe Institute of Technology. It is about teaching different large language models ...

Predicate logic is a mathematical model that is used for reasoning with predicates. Predicates are functions that map variables to truth values. They are essentially boolean functions whose value ...

If one creates an expression using MathLive, and uses either the universal or existential quantifiers (∀ as \forall, ∃ as \exists), the resulting LaTeX cannot be parsed into MathJSON. These ...

Abstract: Part machining is a discrete manufacturing process. In order to evaluate the manufacturing process, an intelligent modeling method based on the first-order predicate logic is proposed. First ...

ABSTRACT: This paper is divided into three parts. In the first part, we review the historical background of a system of logic devised by Henry S. Leonard to allow for reasoning using existence as a ...