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 等数据库收录! |