Vania Dimitrova

Ute Schmid

Francesco Calimeri

Abdul Wahid

Michael Kohlhase

Jochen L. Leidner

Eunika Mercier-Laurent

Mieczyslaw Lech Owoc

Tomáš Kliegr

Simon Parkinson

Paweł Skruch

Sławomir Nowaczyk

Przemysław Biecek

Neo Christopher Chung

Mauro Vallati

Joanna Jaworek-Korjakowska

Alexandros Nikitas

Martin Atzmüller

Szymon Bobek

Nada Lavrac

Marieke Peeters

Roland van Dierendonck

Saskia Robben

Gülgün Kayakutlu

Karl Mason

Pierangela Bruno

Francesco Cauteruccio

Giorgio Terracina

Diedrich Wolter

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I

Artificial Intelligence. ECAI 2023 International Workshops

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Mathematical Knowledge Management

Mdoc: an Open Markup Format for Mathematical Documents

Christian Freksa

Kerstin Schill

This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from 112 submissions.

29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

KI 2006

Manfred Kerber

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.

The CALCULEMUS-2000 Symposium

Symbolic Computation and Automated Reasoning

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c- putation is one of the roots of mathematics. Since Euclid’s algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our new-found ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.

Foreword by Alan Bundy

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Michael Kohlhase

About

Books

Join the club