Beyond NP: Quantifying over Answer Sets (Q5108497): Difference between revisions

@@ Property / describes a project that uses @@
+WASP
@@ Property / describes a project that uses: WASP / rank @@
+Normal rank
@@ 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 / arXiv ID @@
+.09559
@@ Property / arXiv ID: 1907.09559 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation of disjunctive programs in WASP
@@ Property / cites work: Evaluation of disjunctive programs in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+On computing minimal models
@@ Property / cites work: On computing minimal models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Learnability and the Vapnik-Chervonenkis dimension
+Normal rank
@@ Property / cites work @@
+Stable-unstable semantics: Beyond NP with normal logic programs
+Normal rank
@@ Property / cites work @@
+Semantics and expressiveness of disjunctive ordered logic
+Normal rank
@@ Property / cites work @@
+Q4883383
@@ Property / cites work: Q4883383 / rank @@
+Normal rank
@@ Property / cites work @@
+Pebbling in Hypercubes
@@ Property / cites work: Pebbling in Hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+A Tarskian Informal Semantics for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
+Normal rank
@@ Property / cites work @@
+Q2734932
@@ Property / cites work: Q2734932 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+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 @@
+Manifold Answer-Set Programs and Their Applications
+Normal rank
@@ Property / cites work @@
+Progress in clasp Series 3
@@ Property / cites work: Progress in clasp Series 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Sixth Answer Set Programming Competition
@@ Property / cites work: The Sixth Answer Set Programming Competition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949852
@@ Property / cites work: Q4949852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4883380
@@ Property / cites work: Q4883380 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+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 @@
+The Complexity of Graph Pebbling
@@ Property / cites work: The Complexity of Graph Pebbling / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining inconsistency in answer set programs and extensions
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the Vapnik-Červonenkis dimension is \(\Sigma_3^p\)-complete
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261789
@@ Property / cites work: Q4261789 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
+Normal rank
@@ Property / Wikidata QID @@
+Q127174382
@@ Property / Wikidata QID: Q127174382 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3098293022
@@ Property / OpenAlex ID: W3098293022 / rank @@
+Normal rank