Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607): Difference between revisions

@@ Property / cites work @@
+Beyond NP: Quantifying over Answer Sets
@@ Property / cites work: Beyond NP: Quantifying over Answer Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Answer Set Programming on Finite Traces
@@ Property / cites work: Temporal Answer Set Programming on Finite Traces / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / 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 @@
+DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
+Normal rank
@@ Property / cites work @@
+QRATPre+: effective QBF preprocessing via strong redundancy properties
+Normal rank
@@ Property / cites work @@
+Positional games and QBF: the corrective encoding
@@ Property / cites work: Positional games and QBF: the corrective encoding / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming without Unstratified Negation
+Normal rank
@@ Property / cites work @@
+Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
+Normal rank
@@ Property / cites work @@
+Dependency Learning for QBF
@@ Property / cites work: Dependency Learning for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
+Normal rank
@@ Property / cites work @@
+Approximation of action theories and its application to conformant planning
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid conditional planning using answer set programming
+Normal rank