From disjunctive to normal logic programs via unfolding and shifting

Yi Zhou

From disjunctive to normal logic programs via unfolding and shifting

Yi Zhou

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

2 Citations (Scopus)

Abstract

We show that every propositional disjunctive logic program under the answer set semantics can be equivalently transformed into a normal one via unfolding and shifting. More precisely, after iteratively applying the unfolding operator for some rules in a disjunctive program, its shifted program, which is a normal program, must have the same answer sets as the original disjunctive program.

Original language	English
Title of host publication	ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including Prestigious Applications of Intelligent Systems (PAIS 2014): Proceedings
Publisher	IOS Press
Pages	1139-1140
Number of pages	2
ISBN (Print)	9781614994183
Publication status	Published - 2014
Event	European Conference on Artificial Intelligence - Duration: 18 Aug 2014 → …

Conference

Conference	European Conference on Artificial Intelligence
Period	18/08/14 → …

Keywords

answer set programming
artificial intelligence
logic programming

Cite this

@inproceedings{b1889f38709c48218ce450b857569ef4,

title = "From disjunctive to normal logic programs via unfolding and shifting",

abstract = "We show that every propositional disjunctive logic program under the answer set semantics can be equivalently transformed into a normal one via unfolding and shifting. More precisely, after iteratively applying the unfolding operator for some rules in a disjunctive program, its shifted program, which is a normal program, must have the same answer sets as the original disjunctive program.",

keywords = "answer set programming, artificial intelligence, logic programming",

author = "Yi Zhou",

year = "2014",

language = "English",

isbn = "9781614994183",

pages = "1139--1140",

booktitle = "ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including Prestigious Applications of Intelligent Systems (PAIS 2014): Proceedings",

publisher = "IOS Press",

note = "European Conference on Artificial Intelligence ; Conference date: 18-08-2014",

}

From disjunctive to normal logic programs via unfolding and shifting. / Zhou, Yi.
ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including Prestigious Applications of Intelligent Systems (PAIS 2014): Proceedings. IOS Press, 2014. p. 1139-1140.

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - From disjunctive to normal logic programs via unfolding and shifting

AU - Zhou, Yi

PY - 2014

Y1 - 2014

N2 - We show that every propositional disjunctive logic program under the answer set semantics can be equivalently transformed into a normal one via unfolding and shifting. More precisely, after iteratively applying the unfolding operator for some rules in a disjunctive program, its shifted program, which is a normal program, must have the same answer sets as the original disjunctive program.

AB - We show that every propositional disjunctive logic program under the answer set semantics can be equivalently transformed into a normal one via unfolding and shifting. More precisely, after iteratively applying the unfolding operator for some rules in a disjunctive program, its shifted program, which is a normal program, must have the same answer sets as the original disjunctive program.

KW - answer set programming

KW - artificial intelligence

KW - logic programming

UR - http://handle.uws.edu.au:8081/1959.7/uws:28729

M3 - Conference Paper

SN - 9781614994183

SP - 1139

EP - 1140

BT - ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including Prestigious Applications of Intelligent Systems (PAIS 2014): Proceedings

PB - IOS Press

T2 - European Conference on Artificial Intelligence

Y2 - 18 August 2014

ER -

From disjunctive to normal logic programs via unfolding and shifting

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this