Sciweavers

Share
LANMR
2007

Generating maximal models using the stable model semantics

8 years 6 months ago
Generating maximal models using the stable model semantics
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersecting each stable model with the relevant atoms. Maximal models are of interest for dierent applications.
Juan Carlos Nieves, Mauricio Osorio
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2007
Where LANMR
Authors Juan Carlos Nieves, Mauricio Osorio
Comments (0)
books