|
|||||
|
|
From answer set logic programming to circumscription via logic of GK |
|
| Authors: | Fangzhen Lin Yi Zhou |
| Affiliation: | aDepartment of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;bSchool of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW 1797, Australia |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |