Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 92D15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038199
@@ Property / zbMATH DE Number: 6038199 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted solutions
@@ Property / zbMATH Keywords: weighted solutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+answer set programming
@@ Property / zbMATH Keywords: answer set programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted phylogenies
@@ Property / zbMATH Keywords: weighted phylogenies / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted plans
@@ Property / zbMATH Keywords: weighted plans / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-011-9242-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2075438353
@@ Property / OpenAlex ID: W2075438353 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring phylogenetic trees using answer set programming
+Normal rank
@@ Property / cites work @@
+Computing Weighted Solutions in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Computing weighted solutions in ASP: representation-based method vs. search-based method
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of inferring rooted phylogenies by parsimony
+Normal rank
@@ Property / cites work @@
+Finding similar/diverse solutions in answer set programming
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q4781472
@@ Property / cites work: Q4781472 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and implementation of aggregate functions in the DLV                         system
+Normal rank
@@ Property / cites work @@
+Weight constraints as nested expressions
@@ Property / cites work: Weight constraints as nested expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Science – ICCS 2005
@@ Property / cites work: Computational Science – ICCS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Max-ASP: Maximum Satisfiability of Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Prioritized logic programming and its application to commonsense reasoning
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive semantic characterization of aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Logic Programming for Multiagent Planning with Negotiation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:421455