Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Stable Model implementation of Layer Supported Models by program transformation
Publication date:
2011
Citation:
LNAI-SMILSM11
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.
Book chapter
Authors:
Luís Moniz Pereira
,
Alexandre Miguel Pinto
Editors:
Salvador Abreu
, Deitmar Seipel
Book title:
Declarative Programming and Knowledge Management
Series:
LNAI
Publisher:
Springer
Address:
-
Volume:
6547
Pages:
70-84
ISBN:
978-3-642-20588-0
ISSN:
-
Note:
Select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)
Url address:
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/SMimpOfLSMbyProgTrans.pdf
Export formats
Plain text:
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.
HTML:
<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.
BibTeX:
@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
Full url:
/publications/view.php?code=b547b09721a7f7a7896e3aa10e2624e6
Friendly url:
/publications/view.php?code=LNAI-SMILSM11
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541