Q5020971 (Q5020971): Difference between revisions

@@ Property / describes a project that uses @@
+sCASP
@@ Property / describes a project that uses: sCASP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Programming without Grounding
+Normal rank
@@ Property / cites work @@
+Diagnostic reasoning with A-Prolog
@@ Property / cites work: Diagnostic reasoning with A-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring phylogenetic trees using answer set programming
+Normal rank
@@ Property / cites work @@
+Causal Graph Justifications of Logic Programs
@@ Property / cites work: Causal Graph Justifications of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Action Languages in Cognitive Robotics
+Normal rank
@@ Property / cites work @@
+Deriving conclusions from non-monotonic cause-effect relations
+Normal rank
@@ Property / cites work @@
+Answering the “why” in answer set programming – A survey of explanation approaches
+Normal rank
@@ Property / cites work @@
+Verifying strong equivalence of programs in the input language of \textsc{gringo}
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+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