A temporal logic programming approach to planning (Q2424818): Difference between revisions

@@ 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/s10878-019-00389-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2912113983
@@ Property / OpenAlex ID: W2912113983 / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Planning as tabled logic programming
@@ Property / cites work: Planning as tabled logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Strengthened 0-1 linear formulation for the daily satellite mission planning
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+TALplanner: A temporal logic based forward chaining planner
+Normal rank
@@ Property / cites work @@
+Model checking approach to automated planning
@@ Property / cites work: Model checking approach to automated planning / rank @@
+Normal rank
@@ Property / cites work @@
+Linear temporal logic as an executable semantics for planning languages
+Normal rank
@@ Property / cites work @@
+Improved algorithms for the evacuation route planning problem
+Normal rank
@@ Property / cites work @@
+Q4449309
@@ Property / cites work: Q4449309 / rank @@
+Normal rank
@@ Property / cites work @@
+Multicolour paths in graphs: NP-hardness, algorithms, and applications on routing in WDM networks
+Normal rank
@@ Property / cites work @@
+Heuristics for the network design problem with connectivity requirements
+Normal rank
@@ Property / cites work @@
+A compiler for MSVL and its applications
@@ Property / cites work: A compiler for MSVL and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3096129
@@ Property / cites work: Q3096129 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying safety critical task scheduling systems in PPTL axiom system
+Normal rank
@@ Property / Wikidata QID @@
+Q128423699
@@ Property / Wikidata QID: Q128423699 / rank @@
+Normal rank