Layer Supported Models of Logic Programs

Authors:
Luís Moniz Pereira;Alexandre Miguel Pinto
Affiliations:
Centro de Inteligência Artificial (CENTRIA), Universidade Nova de Lisboa, Caparica, Portugal 2829-516;Centro de Inteligência Artificial (CENTRIA), Universidade Nova de Lisboa, Caparica, Portugal 2829-516
Venue:
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
2009

Citing 5
Cited 1

Every logic program has a natural stratification and an iterated least fixed point model

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Arithmetic classification of perfect models of stratified programs

Fundamenta Informaticae
A uniform approach to logic programming semantics

Theory and Practice of Logic Programming
Layered Models Top-Down Querying of Normal Logic Programs

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties

Fundamenta Informaticae

Stable model implementation of layer supported models by program transformation

INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement -- the Layer Supported Models semantics -- which, besides keeping all of LMs' properties, furthermore respects the Well- Founded Model.