Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622): Difference between revisions

@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2580749482
@@ Property / OpenAlex ID: W2580749482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Foundations of Information and Knowledge Systems
@@ Property / cites work: Foundations of Information and Knowledge Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying gene regulatory networks from experimental data
+Normal rank
@@ Property / cites work @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Consistency Checking in Goal-Directed Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Debugging ASP Programs by Means of ASP
@@ Property / cites work: Debugging ASP Programs by Means of ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling biological networks by action languages via answer set programming
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+Semantics for Possibilistic Disjunctive Programs
@@ Property / cites work: Semantics for Possibilistic Disjunctive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Modeling preferences and conditional preferences on resource consumption and production in ASP
+Normal rank