Professur für Wissensrepräsentation und -verarbeitung

Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021) Rabe F, Roux N Conference contribution Context graphs for Ampliative analogical legal reasoning and argumentation (2021) Kohlhase M, Adrian A, Rapp M Journal article A novel understanding of legal syllogism as a starting point for better legal symbolic AI systems (2021) Adrian A, Kohlhase M, Rapp M Journal article, Review article A register variation perspective on varieties of English (2021) Neumann S, Evert S Book chapter / Article in edited volumes A Language with Type-Dependent Equality (2021) Rabe F Conference contribution A New Export of the Mizar Mathematical Library (2021) Rothgang C, Korniłowicz A, Rabe F Conference contribution Experiences from Exporting Major Proof Assistant Libraries (2021) Kohlhase M, Rabe F Journal article Mathematical Information Retrieval (2021) Aizawa A, Kohlhase M Book chapter / Article in edited volumes Structure-Preserving Diagram Operators (2021) Roux N, Rabe F Conference contribution DISAMBIGUATING SYMBOLIC EXPRESSIONS IN INFORMAL DOCUMENTS (2021) Müller D, Kaliszyk C Conference contribution