Formal and Human Reasoning with Exceptions: Supplementary Materials

These are the supplementary materials of the paper Sacco, G., Krause S., Bozzato, L., Stolzenburg F., Kutz, O. Formal and Human Reasoning with Exceptions: Supplementary Materials, accepted at EKAW 2026 - The 25th International Conference on Knowledge Engineering and Knowledge Management. The paper describes and discusses the results of an evaluation study of a formalism we developed. This study consisted in a questionnaire proposed to human participants and given to some Large Language Models (LLMs). The questions were reasoning problems designed to allow a comparison of the answers of the formalism and those of humans and LLMs. The paper will be available in the conference proceedings, published in the Springer Lecture Notes in Computer Science series. The materials are: A document reporting the questionnaire used for human participants and the prompt given to LLMs. A database containing the results of the experiment. A database containing only the results of the experiment with the humans, including the answers relative to the education level and the logical background of the participants.