Searching for "The Family of Stable Models." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
The Family of Stable Models
- …The Family of Stable Models Melvin Fitting mlflc@(email omitted); Dept. Mathematics and Computer…
- Cited by 51 (5 self) – Add To MetaCart
-
Stable models and an alternative logic programming paradigm
- … programs do not describe a single intended model, but a family of stable models. These stable models encode…
- Cited by 140 (11 self) – Add To MetaCart
-
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
- … family (e.g., all, minimal, stable) of models. Note that all semantics for logic programs identify a…
- Add To MetaCart
-
Extremal Problems in Logic Programming and Stable Model Computation
- … programs with stable model semantics) can be viewed as encodings of families of sets, namely…
- Cited by 5 (1 self) – Add To MetaCart
-
On Prudent Bravery and Other Abstractions
- … closely related purposes. The first is to propose a candidate from the family of stable models…
- Cited by 3 (3 self) – Add To MetaCart
-
Computing and Comparing Semantics of Programs in Four-valued Logics
- …. The following theorem states that the family of stable models is included in the family of pessimistic xed…
- Add To MetaCart
-
Key Constraints and Monotonic Aggregates in Deductive Databases
- ….We will next show that T ↑ω P/K ({∅}) corresponds to the family of stable models for the program foe…
- Cited by 1 (0 self) – Add To MetaCart
-
Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic
- … and alternating fixed points: the whole family of stable models is then enclosed between these 4 fixed points [8…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
