Graph theoretical structures in logic programs and default theories (Q672050): Difference between revisions

@@ 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 @@
+Q3941433
@@ Property / cites work: Q3941433 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent problems and results about kernels in directed graphs
+Normal rank
@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q4298365
@@ Property / cites work: Q4298365 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+On computing logic programs
@@ Property / cites work: On computing logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A graph-theoretic approach to default logic
@@ Property / cites work: A graph-theoretic approach to default logic / rank @@
+Normal rank
@@ Property / cites work @@
+On kernels, defaults and even graphs
@@ Property / cites work: On kernels, defaults and even graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A sufficient condition for a digraph to be kernel-perfect
+Normal rank
@@ Property / cites work @@
+Kernels in random graphs
@@ Property / cites work: Kernels in random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244306
@@ Property / cites work: Q4244306 / rank @@
+Normal rank
@@ Property / cites work @@
+On kernels and semikernels of digraphs
@@ Property / cites work: On kernels and semikernels of digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of kernels and \(h\)-kernels in directed graphs
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / cites work @@
+On claw-freeM-oriented critical kernel-imperfect digraphs
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Tie-breaking semantics and structural totality
@@ Property / cites work: Tie-breaking semantics and structural totality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244297
@@ Property / cites work: Q4244297 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-valued nonmonotonic formalisms and semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Q4298363
@@ Property / cites work: Q4298363 / 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 @@
+Completed logic programs and their consistency
@@ Property / cites work: Completed logic programs and their consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Almost all digraphs have a kernel
@@ Property / cites work: Almost all digraphs have a kernel / rank @@
+Normal rank
@@ Property / cites work @@
+A nondeterministic well-founded semantics
@@ Property / cites work: A nondeterministic well-founded semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating All the Maximal Independent Sets
+Normal rank