推論技術: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. 推論技術:inference Technology数理論理学
