Stable classes and operator pairs for disjunctive programs (Q5101462): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-59487-6_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1599565878
@@ Property / OpenAlex ID: W1599565878 / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
@@ Property / cites work @@
+The family of stable models
@@ Property / cites work: The family of stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / Recommended article @@
+Q3983045
@@ Property / Recommended article: Q3983045 / rank @@
+Normal rank
@@ Property / Recommended article: Q3983045 / qualifier @@
+Similarity Score: 0.8974351Amount 0.8974351
Unit 1
-Amount
+.8974351
 Unit
@@ Property / Recommended article: Q3983045 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Paraconsistent Stable Semantics for Extended Disjunctive Programs
+Normal rank
+Similarity Score: 0.86607057Amount 0.86607057
Unit 1
-Amount
+.86607057
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On stratified disjunctive programs
@@ Property / Recommended article: On stratified disjunctive programs / rank @@
+Normal rank
@@ Property / Recommended article: On stratified disjunctive programs / qualifier @@
+Similarity Score: 0.86030424Amount 0.86030424
Unit 1
-Amount
+.86030424
 Unit
@@ Property / Recommended article: On stratified disjunctive programs / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4812969
@@ Property / Recommended article: Q4812969 / rank @@
+Normal rank
@@ Property / Recommended article: Q4812969 / qualifier @@
+Similarity Score: 0.8587149Amount 0.8587149
Unit 1
-Amount
+.8587149
 Unit
@@ Property / Recommended article: Q4812969 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Disjunctive Programs with Set Constraints
+Normal rank
+Similarity Score: 0.856969Amount 0.856969
Unit 1
-Amount
+.856969
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4377041
@@ Property / Recommended article: Q4377041 / rank @@
+Normal rank
@@ Property / Recommended article: Q4377041 / qualifier @@
+Similarity Score: 0.8514757Amount 0.8514757
Unit 1
-Amount
+.8514757
 Unit
@@ Property / Recommended article: Q4377041 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4944861
@@ Property / Recommended article: Q4944861 / rank @@
+Normal rank
@@ Property / Recommended article: Q4944861 / qualifier @@
+Similarity Score: 0.84532577Amount 0.84532577
Unit 1
-Amount
+.84532577
 Unit
@@ Property / Recommended article: Q4944861 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+An algorithm for disjunctive programs
@@ Property / Recommended article: An algorithm for disjunctive programs / rank @@
+Normal rank
+Similarity Score: 0.84529376Amount 0.84529376
Unit 1
-Amount
+.84529376
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
+Similarity Score: 0.84527814Amount 0.84527814
Unit 1
-Amount
+.84527814
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4375823
@@ Property / Recommended article: Q4375823 / rank @@
+Normal rank
@@ Property / Recommended article: Q4375823 / qualifier @@
+Similarity Score: 0.8428959Amount 0.8428959
Unit 1
-Amount
+.8428959
 Unit
@@ Property / Recommended article: Q4375823 / qualifier @@
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5101462