@INPROCEEDINGS{NiemuellerEtAl:PlanRob2017:TowardsCLIPSbased,
     author = {Niemueller, Tim and Lakemeyer, Gerhard and Leofante, Francesco and Abraham, Erika},
      month = jun,
      title = {Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization},
  booktitle = {Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017)},
       year = {2017},
   location = {Carnegie Mellon, Pittsburgh},
        url = {http://icaps17.icaps-conference.org/workshops/PlanRob/planrob_proceedings.pdf},
   abstract = {In robotics, automated task planning is still the exception rather
  than the norm. While
  generating a plan certainly represents a crucial aspect, another
  often neglected one, in particular relevant to integration in
  robotics, is the task-level executive. It forms the coherent behavior
  out of the determined plan to achieve the mission goals. This work
  presents first results towards the integration of a knowledge-based
  plan executive. This work is embedded in a project to generate
  guaranteed-quality plans based on Satisfiability Modulo Theory (SMT)
  in industrial scenarios. The initial prototype is integrated based
  on the scenario of logistics robots in simulation.}
}

{"_id":"JB8Sprg4sGSZekduw","bibbaseid":"niemueller-lakemeyer-leofante-abraham-towardsclipsbasedtaskexecutionandmonitoringwithsmtbasedplanningandoptimization-2017","author_short":["Niemueller, T.","Lakemeyer, G.","Leofante, F.","Abraham, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Niemueller"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Leofante"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Abraham"],"firstnames":["Erika"],"suffixes":[]}],"month":"June","title":"Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization","booktitle":"Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017)","year":"2017","location":"Carnegie Mellon, Pittsburgh","url":"http://icaps17.icaps-conference.org/workshops/PlanRob/planrob_proceedings.pdf","abstract":"In robotics, automated task planning is still the exception rather than the norm. While generating a plan certainly represents a crucial aspect, another often neglected one, in particular relevant to integration in robotics, is the task-level executive. It forms the coherent behavior out of the determined plan to achieve the mission goals. This work presents first results towards the integration of a knowledge-based plan executive. This work is embedded in a project to generate guaranteed-quality plans based on Satisfiability Modulo Theory (SMT) in industrial scenarios. The initial prototype is integrated based on the scenario of logistics robots in simulation.","bibtex":"@INPROCEEDINGS{NiemuellerEtAl:PlanRob2017:TowardsCLIPSbased,\n author = {Niemueller, Tim and Lakemeyer, Gerhard and Leofante, Francesco and Abraham, Erika},\n month = jun,\n title = {Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization},\n booktitle = {Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017)},\n year = {2017},\n location = {Carnegie Mellon, Pittsburgh},\n url = {http://icaps17.icaps-conference.org/workshops/PlanRob/planrob_proceedings.pdf},\n abstract = {In robotics, automated task planning is still the exception rather\n than the norm. While\n generating a plan certainly represents a crucial aspect, another\n often neglected one, in particular relevant to integration in\n robotics, is the task-level executive. It forms the coherent behavior\n out of the determined plan to achieve the mission goals. This work\n presents first results towards the integration of a knowledge-based\n plan executive. This work is embedded in a project to generate\n guaranteed-quality plans based on Satisfiability Modulo Theory (SMT)\n in industrial scenarios. The initial prototype is integrated based\n on the scenario of logistics robots in simulation.}\n}\n\n","author_short":["Niemueller, T.","Lakemeyer, G.","Leofante, F.","Abraham, E."],"key":"NiemuellerEtAl:PlanRob2017:TowardsCLIPSbased","id":"NiemuellerEtAl:PlanRob2017:TowardsCLIPSbased","bibbaseid":"niemueller-lakemeyer-leofante-abraham-towardsclipsbasedtaskexecutionandmonitoringwithsmtbasedplanningandoptimization-2017","role":"author","urls":{"Paper":"http://icaps17.icaps-conference.org/workshops/PlanRob/planrob_proceedings.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["towards","clips","based","task","execution","monitoring","smt","based","planning","optimization","niemueller","lakemeyer","leofante","abraham"],"title":"Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization","year":2017}