Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Control and Optimization,Discrete Mathematics and Combinatorics,Computer Science Applications
Reference33 articles.
1. Bacchus F, Kabanza F (1995) Using temporal logic to control search in a forward chaining planner. In: Proceedings of the 3rd European workshop on planning. IOS Press, pp 141–153
2. Bacchus F, Kabanza F (2000) Using temporal logics to express search control knowledge for planning. Artif Intell 116(1):123–191
3. Barták R, Dovier A, Zhou NF (2015) On modeling planning problems in tabled logic programming. In: Proceedings of the 17th international symposium on principles and practice of declarative programming. ACM, pp 31–42
4. Chrpa L, Barták R (2016) Guiding planning engines by transition-based domain control knowledge. In: Proceedings of the 15th international conference on the principles of knowledge representation and reasoning. AAAI, pp 545–548
5. Cimatti A, Giunchiglia E, Giunchiglia F, Traverso P (1997) Planning via model checking: a decision procedure for AR. In: European conference on planning. Springer, pp 130–142