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
62 Result(s)
-
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
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
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....
-
Chapter and Conference Paper
Relational Data Across Mathematical Libraries
Formal libraries are treasure troves of detailed mathematical knowledge, but this treasure is usually locked into system- and logic-specific representations that can only be understood by the respective theore...
-
Chapter and Conference Paper
Integrating Semantic Mathematical Documents and Dynamic Notebooks
Mathematical software systems offer two major paradigms for interacting with mathematical knowledge. One is static files with semantically annotated representations that define mathematical knowledge and can b...
-
Chapter and Conference Paper
Representing, Archiving, and Searching the Space of Mathematical Knowledge
There is an interesting duality between the forms and extents of mathematical knowledge that is verbally expressed (published in articles, scribbled on blackboards, or presented in talks/discussions) and the f...
-
Chapter and Conference Paper
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs
Representation formats based on theory graphs have been successful in formalized mathematics as they provide valuable logic-compatible modularity and foster reuse. Theories - sets of symbols and axioms – serve...
-
Chapter and Conference Paper
A Proof Theoretic Interpretation of Model Theoretic Hiding
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. While the focus has originally been on logics with a proof the...
-
Chapter and Conference Paper
Towards Logical Frameworks in the Heterogeneous Tool Set Hets
LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic, employing the Curry-Howard isomorphism: propositions are repr...
-
Chapter and Conference Paper
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of well-understood mathematical str...
-
Chapter and Conference Paper
Unifying Math Ontologies: A Tale of Two Standards
One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning of the objects of mathematics”. The open f...
-
Chapter and Conference Paper
A Mathematical Approach to Ontology Authoring and Documentation
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentatio...
-
Chapter and Conference Paper
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In t...
-
Chapter and Conference Paper
Transforming the arχiv to XML
We describe an experiment of transforming large collections of documents to more machine-understandable representations. Concre...
-
Chapter and Conference Paper
Notations for Living Mathematical Documents
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize ...
