Q5020566 (Q5020566): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Functional answer set programming
@@ Property / cites work: Functional answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for logic programs under answer set semantics
+Normal rank
@@ Property / cites work @@
+Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
+Normal rank