A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems. A method for expanding predicates and rules in automated geometry reasoning system...
محفوظ في:
| المؤلفون الرئيسيون: | , , , , |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
MDPI AG
2022-04-01
|
| سلاسل: | Mathematics |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.mdpi.com/2227-7390/10/7/1177 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|