First Symposium on Artificial Intelligence for Mathematics Education. Book of Abstracts (AI4ME 2020)

First Symposium on Artificial Intelligence for Mathematics Education. Book of Abstracts (AI4ME 2020)

Author: Philippe R. Richard

Publisher: Ed. Universidad de Cantabria

ISBN:

Category: Mathematics

Page: 58

View: 133

Get eBOOK →
The digital revolution that we have experienced since the last quarter of the twentieth century has had some influence, yet to be analysed and extended, on the way mathematics is made, taught and learned. While the rate of innovation in these technologies is growing exponentially, the potential impact of most information technologies on mathematical education remains to be fully exploited. In particular, several authoritative voices point out that the technology that will most likely transform education in the coming years is artificial intelligence (AI). Interestingly, today AI is mainly associated with technologies to automate tasks and lower costs, thus serving primarily the interests of the political-administrative, industrial and commercial world. In this scenario, the world of education and, more specifically, didactics, appears at best as a mere user of AI techniques developed in other fields, forgetting that AI should play a much more relevant role here, serving the human being who is doing his work as a mathematician or who is learning mathematics. The AI4ME symposium at the International Centre for Mathematical Meetings (CIEM) in Castro Urdiales is a space for research and reflection to better understand the interconnected challenges of instrumental learning of mathematics and instrumental mathematics, taking advantage of the achievements and opportunities of Artificial Intelligence for Mathematical Education. This book of abstracts gathers the summaries of the talks presented at the symposium, as well as the conclusions of each of the four thematic groups.

KI 2008: Advances in Artificial Intelligence

KI 2008: Advances in Artificial Intelligence

Author: Andreas Dengel

Publisher: Springer

ISBN: 9783540858454

Category: Computers

Page: 404

View: 734

Get eBOOK →
KI 2008 was the 31st Annual German Conference on Arti?cial Intelligence held September 23–26 at the University of Kaiserslautern and the German Research Center for Arti?cial Intelligence DFKI GmbH in Kaiserslautern, Germany. The conference series started in 1975 with the German Workshop on AI (GWAI), which took place in Bonn, and represents the ?rst forum of its type for the German AI Community. Over the years AI has become a major ?eld in c- puter scienceinGermanyinvolvinga numberof successfulprojects thatreceived much international attention. Today KI conferences are international forums where participants from academia and industry from all over the world meet to exchange their recent research results and to discuss trends in the ?eld. Since 1993 the meeting has been called the “Annual German Conference on Arti?cial Intelligence,” designated by the German acronym KI. This volume contains the papers selected out of 77 submissions, including a number of submissions from outside German-speaking countries. In total, 15 submissions (19%) were accepted for oral and 30 (39%) for poster presentation. Oralpresentationsattheconferenceweresingletrack. Becauseofthis,thechoice of presentation form (oral, poster) was based on how well reviews indicated that the paper would ?t into one or the other format. The proceedings allocate the same space to both types of papers. In addition, we selected six papers that show high application potential - scribing systems or prototypical implementations of innovative AI technologies. They are also included in this volume as two-page extended abstracts.

Innovations in Applied Artificial Intelligence

Innovations in Applied Artificial Intelligence

Author: Floriana Esposito

Publisher: Springer Science & Business Media

ISBN: 9783540265511

Category: Computers

Page: 878

View: 193

Get eBOOK →
“Intelligent systems are those which produce intelligent o?springs.” AI researchers have been focusing on developing and employing strong methods that are capable of solving complex real-life problems. The 18th International Conference on Industrial & Engineering Applications of Arti?cial Intelligence & Expert Systems (IEA/AIE 2005) held in Bari, Italy presented such work performed by many scientists worldwide. The Program Committee selected long papers from contributions presenting more complete work and posters from those reporting ongoing research. The Committee enforced the rule that only original and unpublished work could be considered for inclusion in these proceedings. The Program Committee selected 116 contributions from the 271 subm- ted papers which cover the following topics: arti?cial systems, search engines, intelligent interfaces, knowledge discovery, knowledge-based technologies, na- ral language processing, machine learning applications, reasoning technologies, uncertainty management, applied data mining, and technologies for knowledge management. The contributions oriented to the technological aspects of AI and the quality of the papers are witness to a research activity clearly aimed at consolidating the theoretical results that have already been achieved. The c- ference program also included two invited lectures, by Katharina Morik and Roberto Pieraccini. Manypeoplecontributedindi?erentwaystothesuccessoftheconferenceand to this volume. The authors who continue to show their enthusiastic interest in applied intelligence research are a very important part of our success. We highly appreciate the contribution of the members of the Program Committee, as well as others who reviewed all the submitted papers with e?ciency and dedication.

Artificial Intelligence and Simulation

Artificial Intelligence and Simulation

Author: Simulati International Conference on Ai

Publisher: Springer Science & Business Media

ISBN: 9783540244769

Category: Computers

Page: 725

View: 741

Get eBOOK →
This book constitutes the refereed post-proceedings of the 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, held in Jeju Island, Korea in October 2004. The 74 revised full papers presented together with 2 invited keynote papers were carefully reviewed and selected from 170 submissions; after the conference, the papers went through another round of revision. The papers are organized in topical sections on modeling and simulation methodologies, intelligent control, computer and network security, HLA and simulator interoperation, manufacturing, agent-based modeling, DEVS modeling and simulation, parallel and distributed modeling and simulation, mobile computer networks, Web-based simulation and natural systems, modeling and simulation environments, AI and simulation, component-based modeling, watermarking and semantics, graphics, visualization and animation, and business modeling.