sleep-spindles
发表于 2025-3-23 13:33:35
Eco-Efficiency in Industry and Sciencetative 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-23 16:54:12
http://reply.papertrans.cn/17/1624/162334/162334_12.png
Recessive
发表于 2025-3-23 19:07:01
Strategies to Increase Resource Efficiencynts that are relations on intervals. Problems of up to 500 variables may be solved in expected cubic time. Strong evidence is presented that significant backtracking on random problems occurs only in the range 6 ≤ . 15, for . ≥ 0.5, where . is the number of variables, and . is the ratio of non-trivi
烤架
发表于 2025-3-24 01:36:50
http://reply.papertrans.cn/17/1624/162334/162334_14.png
矛盾心理
发表于 2025-3-24 04:28:40
Olaf Tschimpke,Benjamin Bongardt as an intelligent front-end, communicating with a back-end . sub-process. The rule base of the system has been extended to include knowledge about numerical solutions to problems that . is unable to solve algebraically, or on request by the user. The system incorporates an on-line documentation bro
chapel
发表于 2025-3-24 08:38:37
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.
CRAB
发表于 2025-3-24 12:51:36
http://reply.papertrans.cn/17/1624/162334/162334_17.png
起皱纹
发表于 2025-3-24 18:05:06
http://reply.papertrans.cn/17/1624/162334/162334_18.png
话
发表于 2025-3-24 21:41:16
https://doi.org/10.1007/978-94-015-7202-6omial equations, dis-equations, and inequalities. The algebraic algorithm (a restructured version of Cylindrical Algebraic Decomposition) is non-deterministic, in the sense that it can often achieve the same goal, but following different paths requiring different amounts of computing times. Obviousl
Digitalis
发表于 2025-3-25 03:00:58
https://doi.org/10.1007/978-94-015-7202-6 project aiming at designing an environment for symbolic computing based upon knowledge representation and relying, when needed, on AI methods..We present a method for the specification of these ACS‘s which is embedded in the framework of algebraic specifications and of unified domains. The first pa