The infinite-valued semantics: overview, recent results and future directions (Q4583316): Difference between revisions

@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the disjunctive stable semantics by partial evaluation
+Normal rank
@@ Property / cites work @@
+Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
+Normal rank
@@ Property / cites work @@
+Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
+Normal rank
@@ Property / cites work @@
+A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
+Normal rank
@@ Property / cites work @@
+An infinite-game semantics for well-founded negation in logic programming
+Normal rank
@@ Property / cites work @@
+Q3601402
@@ Property / cites work: Q3601402 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Well-founded and stationary models of logic programs
+Normal rank
@@ Property / cites work @@
+Static semantics for normal and disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Minimum model semantics for logic programs with negation-as-failure
+Normal rank
@@ Property / cites work @@
+Q3078324
@@ Property / cites work: Q3078324 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Argumentation-based abduction in disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+Comparisons and computation of well-founded semantics for disjunctive logic programs
+Normal rank