Autor:	Marek, V. W., Remmel, J. B.
Rok vydání:	2009
Předmět:	Computer Science - Artificial Intelligence
Druh dokumentu:	Working Paper
Popis:	We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of logic programs (without referring to loop formulas. Comment: 22 pages. Short version was published in ICLP08. New version slightly shorter than the previous version
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/0905.0197 Zobrazit plný text záznamu View this record from Arxiv