Artificial Intelligence. ECAI 2023 International Workshops
XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II
Page
%P
-
Article
Open AccessProject VoLL-KI
“Learning from Learners” (“Von Lernenden Lernen”, “VoLL-KI ” for short) is a is collaborative research project with the goal of creating a practical toolbox of instruments at different levels of abstraction to...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Artificial Intelligence. ECAI 2023 International Workshops
XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
-
Chapter and Conference Paper
Guided Tours in ALeA
In times of decreasingly homogeneous educational backgrounds and experiences and increasingly diverse educational target groups and circumstances, the need for educational content that caters to individuals an...
-
Chapter and Conference Paper
Learning Support Systems Based on Mathematical Knowledge Management
To cater to the increasingly diverse student bodies, higher education has to personalize education. In times of stagnant educational budgets and staffing problems, this can only be achieved via adaptive, inter...
-
Chapter and Conference Paper
Towards an Annotation Standard for STEM Documents
When publishing papers, researchers in mathematics and related disciplines typically focus on the presentation, i.e. type-setting, of their ideas and provide little semantic information. This impedes the devel...
-
Chapter and Conference Paper
System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents
We report on – a complete redesign and reimplementation (using ...
-
Chapter and Conference Paper
Injecting Formal Mathematics Into LaTeX
The paper presents the format for representing informal mathematics. acts as a surface language for two systems: the (presentation-ori...
-
Article
Open AccessExperiences from Exporting Major Proof Assistant Libraries
The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the l...
-
Article
Open AccessErratum zu: Editorial
-
Article
Open AccessBig Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
-
Chapter
Mathematical Information Retrieval
present an overview of the NTCIR Math Tasks organized during NTCIR-10, 11, and 12. These tasks are primarily dedicated to techniques for searching mathematical content with formula expressions. In this chap...
-
Article
Open AccessEditorial
-
Chapter and Conference Paper
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs
We describe the TGView3D system, an interactive graph viewer optimized for exploring mathematical knowledge as 3D graphs. To exploit all three spatial dimensions, it extends the commonly-used force-directed la...
-
Chapter and Conference Paper
Logic-Independent Proof Search in Logical Frameworks
Logical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototy** log...
-
Chapter and Conference Paper
Prototy** Controlled Mathematical Languages in Jupyter Notebooks
The Grammatical Logical Framework (GLF) is a framework for prototy** the translation of natural language sentences into logic. The motivation behind GLF was to apply it to mathematical language, as the classica...
-
Chapter and Conference Paper
Towards a Heterogeneous Query Language for Mathematical Knowledge
With more than 120.000 articles published annually in mathematical journals alone, mathematical search has often been touted as a killer application of computer-supported mathematics. But the artefacts of math...
-
Chapter and Conference Paper
FrameIT: Detangling Knowledge Management from Game Design in Serious Games
Serious games are an attempt to leverage the inherent motivation in game-like scenarios for an educational application and to transpose the learning goals into real-world applications. Unfortunately, serious g...
-
Chapter and Conference Paper
Representing Structural Language Features in Formal Meta-languages
Structural language features are those that introduce new kinds of declarations as opposed to those that only add expressions. They pose a significant challenge when representing languages in meta-languages su...
-
Chapter and Conference Paper
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
Data plays an increasing role in applied and even pure mathematics: datasets of concrete mathematical objects proliferate and increase in size, reaching up to 1 TB of uncompressed data and millions of objects....
