Layer Supported Models of Logic Programs

13 years 11 months ago

Download centria.di.fct.unl.pt

Building upon the 2-valued Layered Models semantics for normal programs, we introduce a reﬁnement — the Layer Supported Models semantics — which, besides keeping all of LMs’ properties, furthermore respects the WellFounded Model.

Luís Moniz Pereira, Alexandre Miguel Pinto

Real-time Traffic

Artificial Intelligence | Layer Supported Models | Layered Models Semantics | LPNMR 2009 | Models Semantics |

claim paper

» Layered Models TopDown Querying of Normal Logic Programs

» Hyperequivalence of Logic Programs with Respect to Supported Models

» An execution layer for aspectoriented programming languages

» The Web Service Modeling Language WSML An Overview

» A Semantic Framework for Language Layering in WSML

» Extending a parallel CLP language to support the development of multiagent systems

» Experiments on a grid layer prototype for shared data programming model

» Visualizing Logical Dependencies in SWRL Rule Bases

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	LPNMR
Authors	Luís Moniz Pereira, Alexandre Miguel Pinto

Comments (0)

Sciweavers

Layer Supported Models of Logic Programs

Artificial Intelligence | Layer Supported Models | Layered Models Semantics | LPNMR 2009 | Models Semantics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers