BriefGPT - AI 论文速递
·
扩展应答集编程与有理数
💡
原文中文，约200字，阅读约需1分钟。
📝
内容提要
该论文扩展了ASP以处理非整数，通过有理数近似法实现了reproducibility和declarativity，并提出了对应的ASP-Core-2标准的定义语义和实现。这将使ASP语言更具表达力和多功能性，解决更广泛范围的实际问题。
🎯
关键要点
-
该论文扩展了ASP以处理非整数。
-
通过有理数近似法实现了reproducibility和declarativity。
-
提出了对应的ASP-Core-2标准的定义语义和实现。
-
这一工作将使ASP语言更具表达力和多功能性。
-
旨在解决更广泛范围的实际问题。
➡️
