|
|||||
|
|
Loop formulas for circumscription |
|
| Authors: | Joohyung Lee |
| Affiliation: | a Department of Computer Science and Engineering, Arizona State University, AZ, USA b Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |