Searching for "On Computing Minimal Models." – sorted by Relevance.
81 documents found, showing 1 through 10.
Next 10 →
-
On Computing Minimal Models
- … On computing minimal models Rachel Ben-Eliyahu Computer Science Department Technion --- Israel…
- Cited by 12 (1 self) – Add To MetaCart
-
Computing Minimal Models, Stable Models and Answer Sets
- …Computing minimal models, stable models and answer sets Zbigniew Lonc 1 and Miros/law Truszczy…
- Add To MetaCart
-
On computing minimal and perfect model membership
- …ON COMPUTING MINIMAL AND PERFECT MODEL MEMBERSHIP C. A. JOHNSON Computer Science Department…
- Cited by 3 (3 self) – Add To MetaCart
-
Computing Perfect and Stable Models Using Ordered Model Trees
- … deductive databases. They were also used to facilitate the computation of minimal models for disjunctive…
- Cited by 5 (2 self) – Add To MetaCart
-
Canonical Inference for Implicational Systems ⋆
- … that are “optimal” for forward chaining, to compute minimal models, and to generate canonical systems…
- Cited by 1 (1 self) – Add To MetaCart
-
Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics
- … for computing minimal models for positive disjunctive programs. Contrary to most other implementations…
- Cited by 1 (0 self) – Add To MetaCart
-
Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics
- … for an efficient implementation based on a prover for computing minimal models for positive disjunctive programs…
- Add To MetaCart
-
Relating Minimal Models and Pre-Requisite-Free Normal Defaults
- … to circumscription [11, 5] and (3) computation of minimal models is often a first step towards computing stable…
- Cited by 3 (2 self) – Add To MetaCart
-
A Model-based Reasoning Approach to Circumscription
- … small subset of the minimal models computed by a revision function. Using these models a filtering…
- Cited by 5 (5 self) – Add To MetaCart
-
Minimal Model Semantics for Diagnosis - Techniques and First Benchmarks
- … to the incremental computation of minimal models for the semantical approach to circumscription [3]. The current…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
