Twelve Definitions of a Stable Model (Q5504644): Difference between revisions

@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983046
@@ Property / cites work: Q3983046 / rank @@
+Normal rank
@@ Property / cites work @@
+Weight constraints as nested expressions
@@ Property / cites work: Weight constraints as nested expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207881
@@ Property / cites work: Q4207881 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules as actions: A situation calculus semantics for logic programs
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+From answer set logic programming to circumscription via logic of GK
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+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 / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight, consistent, and computable completions for unrestricted logic programs
+Normal rank