Negation as failure for disjunctive logic programming |
| |
| Authors: | Phan Minh Dung Ngo Huu Liem |
| |
| Affiliation: | (1) Division of Computer Science, Asian Institute of Technology, G.P.O. Box 2754, 10501 Bangkok, Thailand |
| |
| Abstract: | We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
