Sciweavers

APAL
1999
68views more  APAL 1999»
13 years 10 months ago
Toward Categoricity for Classes with no Maximal Models
We provide here the first steps toward a Classification Theory of Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categori...
Saharon Shelah, Andrés Villaveces
IPL
2000
69views more  IPL 2000»
13 years 10 months ago
Generating all maximal models of a Boolean expression
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
Dimitris J. Kavvadias, Martha Sideri, Elias C. Sta...
LANMR
2007
14 years 12 days 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 intersectin...
Juan Carlos Nieves, Mauricio Osorio