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

@@ Property / describes a project that uses @@
+Lparse
@@ Property / describes a project that uses: Lparse / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5742
@@ Property / arXiv ID: 1107.5742 / rank @@
+Normal rank
@@ 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