"On the Equivalence between Answer Sets and Models of Completion for Nested ..."

Jia-Huai You, Li-Yan Yuan, Mingyi Zhang (2003)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2020-02-04

a service of  Schloss Dagstuhl - Leibniz Center for Informatics