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.

• Type: Conference
• Year: 2007
• Where: LANMR
• Authors: Juan Carlos Nieves, Mauricio Osorio
• Keywords: LANMR 2007, Logical Reasoning, Maximal Models, Propositional Formula X, Stable Model