Complex optimization in answer set programming (Q3087462): Difference between revisions

@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Prioritized logic programming and its application to commonsense reasoning
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Manifold Answer-Set Programs for Meta-reasoning
@@ Property / cites work: Manifold Answer-Set Programs for Meta-reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for compiling preferences  in logic programs
+Normal rank
@@ Property / cites work @@
+Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
+Normal rank
@@ Property / cites work @@
+Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank