Ordered completion for first-order logic programs on finite structures

Vernon Asuncion; Fangzhen Lin; Yan Zhang; Yi Zhou

Ordered completion for first-order logic programs on finite structures

Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

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

Abstract

![CDATA[In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classic; models of the ordered-completion of a normal logic program correspond exactly to the answer sets (stable models) of the logic program.]]

Original language	English
Title of host publication	Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI10/ IAAI10): 11-15 July, 2010, Atlanta, Georgia
Publisher	AAAI Press
Pages	249-254
Number of pages	6
ISBN (Print)	9781577354635
Publication status	Published - 2010
Event	AAAI Conference on Artificial Intelligence - Duration: 22 Jul 2012 → …

Conference

Conference	AAAI Conference on Artificial Intelligence
Period	22/07/12 → …

Cite this

@inproceedings{67e7e2a5e0c6417ebe6b310b3e48b2fd,

title = "Ordered completion for first-order logic programs on finite structures",

abstract = "![CDATA[In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classic; models of the ordered-completion of a normal logic program correspond exactly to the answer sets (stable models) of the logic program.]]",

author = "Vernon Asuncion and Fangzhen Lin and Yan Zhang and Yi Zhou",

year = "2010",

language = "English",

isbn = "9781577354635",

pages = "249--254",

booktitle = "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI10/ IAAI10): 11-15 July, 2010, Atlanta, Georgia",

publisher = "AAAI Press",

note = "AAAI Conference on Artificial Intelligence ; Conference date: 22-07-2012",

}

Ordered completion for first-order logic programs on finite structures. / Asuncion, Vernon; Lin, Fangzhen; Zhang, Yan et al.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI10/ IAAI10): 11-15 July, 2010, Atlanta, Georgia. AAAI Press, 2010. p. 249-254.

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

TY - GEN

T1 - Ordered completion for first-order logic programs on finite structures

AU - Asuncion, Vernon

AU - Lin, Fangzhen

AU - Zhang, Yan

AU - Zhou, Yi

PY - 2010

Y1 - 2010

N2 - ![CDATA[In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classic; models of the ordered-completion of a normal logic program correspond exactly to the answer sets (stable models) of the logic program.]]

AB - ![CDATA[In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classic; models of the ordered-completion of a normal logic program correspond exactly to the answer sets (stable models) of the logic program.]]

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

UR - http://www.aaai.org/Library/AAAI/aaai10contents.php

M3 - Conference Paper

SN - 9781577354635

SP - 249

EP - 254

BT - Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI10/ IAAI10): 11-15 July, 2010, Atlanta, Georgia

PB - AAAI Press

T2 - AAAI Conference on Artificial Intelligence

Y2 - 22 July 2012

ER -

Ordered completion for first-order logic programs on finite structures

Abstract

Conference

Other files and links

Fingerprint

Cite this