Q5240210 (Q5240210): Difference between revisions

@@ Property / describes a project that uses @@
+ASPeRiX
@@ Property / describes a project that uses: ASPeRiX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMiGA
@@ Property / describes a project that uses: OMiGA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4631193
@@ Property / cites work: Q4631193 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding explanations of inconsistency in multi-context systems
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs and colorings for answer set programming
@@ Property / cites work: Graphs and colorings for answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing
+Normal rank
@@ Property / cites work @@
+A First Order Forward Chaining Approach for Answer Set Computing
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Logic programs with abstract constraint atoms: the role of computations
+Normal rank
@@ Property / cites work @@
+Stepping through an Answer-Set Program
@@ Property / cites work: Stepping through an Answer-Set Program / rank @@
+Normal rank
@@ Property / cites work @@
+GASP: Answer Set Programming with Lazy Grounding
@@ Property / cites work: GASP: Answer Set Programming with Lazy Grounding / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for logic programs under answer set semantics
+Normal rank
@@ Property / cites work @@
+Justifying answer sets using argumentation
@@ Property / cites work: Justifying answer sets using argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank