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

Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.

Abstract: This paper presents a formal method based on standard concepts from mathematical logic, for the analysis of system properties, particularly safety. Informally, a safety proposition is a ...

Abstract: Sometimes AI has to deal with incomplete problems. Knowledge Representation is the main component to solve the problems in AI. Various Knowledge representation techniques are available to ...

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

A discrete quantum structure is a discrete quantum space that is equipped with relations andfunctions of various finite arities. Discrete quantum spaces are identified withhereditarily atomic von ...