热点
"一阶逻辑" 相关文章
Why's equality in logic less flexible than in category theory?
少点错误 2025-10-01T22:14:38.000000Z
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
cs.AI updates on arXiv.org 2025-09-29T04:16:10.000000Z
Planning with Dynamically Changing Domains
cs.AI updates on arXiv.org 2025-08-06T04:02:09.000000Z