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


Date
Event
Workshop on Planning and Robotics at ICAPS 2017
Location
Carnegie Mellon University, Pittsburgh, PA, USA