Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization

(2017) [Contribution to a conference proceedings]

27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA : icaps Pittsburgh 2017 : PlanRob 2017 : Proceedings of the 5th Workshop on Planning and Robotics / Edited by: Alberto Finzi, Erez Karpas, and Goldie Nejat

Authors

Selected Authors

Niemüller, Tim Dieter
Lakemeyer, Gerhard
Leofante, Francesco
Ábrahám, Erika

Identifier

  • REPORT NUMBER: RWTH-2018-01235