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 ...

The NLP-Predicate Converter is a Python-based tool designed to bridge natural language and predicate logic. It allows users to seamlessly convert English sentences into predicate logic expressions and ...

Abstract: In artificial intelligence, knowledge representation is a combination of data structures and interpretive procedures that leads to knowledgeable behavior. Therefore, it is required to ...

Abstract: The paper presents semantically complete Hilbert-style systems for some variants of common sense modal predicate logic proposed by van Benthem and further developed by Seligman. The paper ...

This is a preview. Log in through your library . Abstract An example of finite tree $M_{o}$ is presented such that its predicate logic (i.e. the intermediate ...