第九届软件科学中的符号计算国际研讨会会议录
符号计算
2021-09-07 v1 人工智能
计算机科学中的逻辑
软件工程
摘要
本卷收录了第九届软件科学中的符号计算国际研讨会 SCSS 2021 上发表的论文。符号计算是对符号对象（项、公式、程序、代数对象表示等）进行计算的学科。过去几十年中，针对符号计算主要子领域——计算机代数与计算逻辑——已开发出强大算法。这些算法与方法已成功应用于诸多领域，包括涵盖软件构造与分析广泛主题的软件科学。同时，人工智能方法与机器学习算法现今在各领域被广泛使用，尤其与符号计算相结合。若干途径将人工智能与部署于大型语料库上的符号方法与工具相混合，以创建所谓的认知系统。认知计算致力于通过推理构建以自然方式与人交互、旨在大规模学习的系统。SCSS 的宗旨是推动软件科学中符号计算的理论与实用研究，并结合现代人工智能技术。本会议录包含 Bruno Buchberger 的主旨论文与十篇投稿论文。此外，会议议程还包括三场邀请报告、九篇短篇与进展中论文，以及一场关于计算机代数与计算逻辑的特别分会。受 COVID-19 疫情影响，研讨会完全在线举行，由林茨约翰内斯·开普勒大学符号计算研究所 (RISC) 于 2021 年 9 月 8–10 日组织。
引用
@article{arxiv.2109.02501,
title = {Proceedings of the 9th International Symposium on Symbolic Computation in Software Science},
author = {Temur Kutsia},
journal= {arXiv preprint arXiv:2109.02501},
year = {2021}
}