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

(2017) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the 5th Workshop on Planning and Robotics

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2018-01235