Searching for "Perfect Model Semantics." – sorted by Relevance.
-
Completeness of Depth-bounded Resolution for Weakly Reducing Programs
- to the perfect model semantics. Finally we syntactically characterize a subclass of the class, called weakly
- Cited by 1 (1 self) – Add To MetaCart
-
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (Extended
- Abstract 1 Introduction The perfect model semantics [ABW88, VG89b, Prz88a, Prz89b] provides an attractive
- Cited by 119 (12 self) – Add To MetaCart
-
On computing minimal and perfect model membership
- . The handling of negative premises is also considered using perfect model semantics, and methods for computing
- Cited by 3 (3 self) – Add To MetaCart
-
The well-founded semantics is a stratified Fitting semantics
- , of the Fitting semantics, the well-founded semantics, and the weakly perfect model semantics. The results
- Cited by 4 (3 self) – Add To MetaCart
-
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
- programs under the semantics of minimal models, perfect models, stable models, and least model states can
- Cited by 12 (0 self) – Add To MetaCart
-
Stable Semantics for Disjunctive Programs
- coincide with the perfect model semantics. ffl The partial disjunctive stable semantics can be generalized
- Cited by 140 (2 self) – Add To MetaCart
-
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
- closed world assumption, and the perfect model semantics, and we show that the inference problem
- Cited by 78 (27 self) – Add To MetaCart
-
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
- truth-functional semantics. We then dene minimal, perfect, and stable models and show that they have
- Cited by 10 (5 self) – Add To MetaCart
-
The Stratified µ-Calculus
- tabled-resolution procedure for constraint logic programs with the perfect-model semantics. 1
- Add To MetaCart
-
Stable Classes and Operator Pairs for Disjunctive Programs
- . It generalizes the perfect model semantics and is closely related with Autoepistemic Logic [14] as a major
- Cited by 2 (2 self) – Add To MetaCart

