Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Stable Model implementation of Layer Supported Models by program transformation
2011
LNAI-SMILSM11
A 2-valued semantics for Normal Logic Programs (NLPs) allowing top-down query-solving is highly desirable but Stable Models semantics (SM) does not allow it for lack of the relevance property. To overcome this limitation we introduced a 2-valued semantics for NLPs —Layer Supported Models LSM— which conservatively extends the SM semantics, enjoys relevance, cumulativity, model existence, and respects the Well-Founded Model. We show a space and time linearly complex transformation TR, from one propositional NLP to another, whose LSMs are the Stable Models of the transform, and can be computed by Stable Model implementations, a tool for immediate use of LSM and applications. TR can be used to answer queries, but is also of theoretical interest to prove properties of programs. It can be used in combination with top-down querying in XSB, and applied just to the residual program of the query. The XSB-XASP interface allows the transform to be sent to Smodels for 2-valued evaluation.
Book chapter
Luís Moniz Pereira, Alexandre Miguel Pinto
Salvador Abreu, Deitmar Seipel
Declarative Programming and Knowledge Management
LNAI
Springer
-
6547
70-84
978-3-642-20588-0
-
Select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/SMimpOfLSMbyProgTrans.pdf
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Stable Model implementation of Layer Supported Models by program transformation, in: Salvador Abreu and Deitmar Seipel (eds), Declarative Programming and Knowledge Management, LNAI, Springer, Vol. 6547, ISBN 978-3-642-20588-0, Pag. 70-84, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/SMimpOfLSMbyProgTrans.pdf), Select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), 2011.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and <a href="/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8" class="author">Alexandre Miguel Pinto</a>, <b>Stable Model implementation of Layer Supported Models by program transformation</b>, in: <a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="editor">Salvador Abreu</a> and Deitmar Seipel (eds), <u>Declarative Programming and Knowledge Management</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6547, ISBN 978-3-642-20588-0, Pag. 70-84, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/SMimpOfLSMbyProgTrans.pdf" target="_blank">url</a>), <i>Select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)</i>, 2011.
@incollection {LNAI-SMILSM11, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Salvador Abreu and Deitmar Seipel}, title = {Stable Model implementation of Layer Supported Models by program transformation}, booktitle = {Declarative Programming and Knowledge Management}, series = {LNAI}, publisher = {Springer}, volume = {6547}, pages = {70-84}, isbn = {978-3-642-20588-0}, note = {Select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/SMimpOfLSMbyProgTrans.pdf}, abstract = {A 2-valued semantics for Normal Logic Programs (NLPs) allowing top-down query-solving is highly desirable but Stable Models semantics (SM) does not allow it for lack of the relevance property. To overcome this limitation we introduced a 2-valued semantics for NLPs —Layer Supported Models LSM— which conservatively extends the SM semantics, enjoys relevance, cumulativity, model existence, and respects the Well-Founded Model. We show a space and time linearly complex transformation TR, from one propositional NLP to another, whose LSMs are the Stable Models of the transform, and can be computed by Stable Model implementations, a tool for immediate use of LSM and applications. TR can be used to answer queries, but is also of theoretical interest to prove properties of programs. It can be used in combination with top-down querying in XSB, and applied just to the residual program of the query. The XSB-XASP interface allows the transform to be sent to Smodels for 2-valued evaluation.}, keywords = {Stable Models, Layer Supported Models, Relevance, Layering, Program Transformation}, year = {2011}, }
Publication's urls
/publications/view.php?code=b547b09721a7f7a7896e3aa10e2624e6
/publications/view.php?code=LNAI-SMILSM11
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT