"Characterizations of stable model semantics for logic programs with ..."

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan (2009)

Details and statistics

DOI: 10.1017/S1471068409990056

access: closed

type: Journal Article

metadata version: 2020-02-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics