推論技術:inference Technology Answer Set Programming: A Brief History of Logic Programming and ASP A solution set program as a tool for representing complex knowledge information used in digital transformation and artificial intelligence tasks. 2021.12.19 推論技術:inference Technology数理論理学
