LAITY
发表于 2025-3-26 23:45:51
Olaf Tschimpke,Benjamin Bongardts already provide user-friendly interfaces to several software tools, but will AI play a still larger role in the future? We open a discussion on the interaction of AI and Symbolic Mathematical Computation, and pose many questions which should be addressed.
MAIZE
发表于 2025-3-27 05:03:41
Armin Reller,Volker Zepf,Benjamin Achzet topological reasoning and so-called fibered logical spaces for logical reasoning in robotics. The main perspective is on interaction and combination of different fields and methods from symbolic mathematical computation and AI and the mutual stimulation given by the various disciplines.
infantile
发表于 2025-3-27 05:56:06
Tullio Tolio,Giacomo Copani,Walter Terkajigence is presented on a level of abstraction which permits a unifying viewpoint on problems in symbolic computation and artificial intelligence. We refer to applications in computational polynomial ideal theory and in general problem-solving in the sense of AI research.
hardheaded
发表于 2025-3-27 09:31:26
Tullio Tolio,Giacomo Copani,Walter Terkajsuch a type system are polymorphism and coercion between types. Recently the use of order-sorted rewrite systems was proposed as a general framework..We will give a quite simple example of a family of types arising in computer algebra whose coercion relations cannot be captured by a finite set of first-order rewrite rules.
散开
发表于 2025-3-27 15:19:11
http://reply.papertrans.cn/17/1624/162334/162334_35.png
arousal
发表于 2025-3-27 20:59:10
http://reply.papertrans.cn/17/1624/162334/162334_36.png
ABIDE
发表于 2025-3-27 23:37:52
Qualitative modeling of physical systems in AI research,tative level. Providing formalisms, languages, and systems for the acquisition and use of qualitative models is the goal of a very active research area in Artificial Intelligence. In this introductory survey, we discuss motivations for this research, illustrate different approaches by presenting som
巨大没有
发表于 2025-3-28 03:25:01
http://reply.papertrans.cn/17/1624/162334/162334_38.png
BACLE
发表于 2025-3-28 10:14:03
http://reply.papertrans.cn/17/1624/162334/162334_39.png
阴险
发表于 2025-3-28 13:08:30
http://reply.papertrans.cn/17/1624/162334/162334_40.png