CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement (Q785225): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2020.103271
@@ Property / DOI: 10.1016/j.artint.2020.103271 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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.1016/j.artint.2020.103271
+Normal rank
@@ Property / OpenAlex ID @@
+W3013702123
@@ Property / OpenAlex ID: W3013702123 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124810917
@@ Property / Wikidata QID: Q124810917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999178
@@ Property / cites work: Q2999178 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant plans and beyond: principles and complexity
+Normal rank
@@ Property / cites work @@
+Planning as heuristic search
@@ Property / cites work: Planning as heuristic search / rank @@
+Normal rank
@@ Property / cites work @@
+Replanning in Domains with Partial Information and Sensing Actions
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q3624010
@@ Property / cites work: Q3624010 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning as a case study of incremental QBF solving
+Normal rank
@@ Property / cites work @@
+Conformant planning via heuristic forward search: A new approach
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624075
@@ Property / cites work: Q3624075 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro-operators: A weak method for learning
@@ Property / cites work: Macro-operators: A weak method for learning / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+A generic approach to planning in the presence of incomplete information: theory and implementation
+Normal rank
@@ Property / cites work @@
+Approximation of action theories and its application to conformant planning
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2020.103271
@@ Property / DOI: 10.1016/J.ARTINT.2020.103271 / rank @@
+Normal rank