@inproceedings{niemueller_towards_2017,
	title = {Towards {CLIPS}-based {Task} {Execution} and {Monitoring} with {SMT}-based {Decision} {Optimization}},
	booktitle = {Workshop on {Planning} and {Robotics} ({PlanRob}) at 27th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS})},
	author = {Niemueller, Tim and Lakemeyer, Gerhard and Leofante, Francesco and Abraham, Erika},
	month = jun,
	year = {2017},
	note = {event-place: Pittsburgh, PA, USA}
}

{"_id":"sAymxpbjxkM6rJaQd","bibbaseid":"niemueller-lakemeyer-leofante-abraham-towardsclipsbasedtaskexecutionandmonitoringwithsmtbaseddecisionoptimization-2017","authorIDs":["5dee5d06773914de0100004e"],"author_short":["Niemueller, T.","Lakemeyer, G.","Leofante, F.","Abraham, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization","booktitle":"Workshop on Planning and Robotics (PlanRob) at 27th International Conference on Automated Planning and Scheduling (ICAPS)","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","year":"2017","note":"event-place: Pittsburgh, PA, USA","bibtex":"@inproceedings{niemueller_towards_2017,\n\ttitle = {Towards {CLIPS}-based {Task} {Execution} and {Monitoring} with {SMT}-based {Decision} {Optimization}},\n\tbooktitle = {Workshop on {Planning} and {Robotics} ({PlanRob}) at 27th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS})},\n\tauthor = {Niemueller, Tim and Lakemeyer, Gerhard and Leofante, Francesco and Abraham, Erika},\n\tmonth = jun,\n\tyear = {2017},\n\tnote = {event-place: Pittsburgh, PA, USA}\n}\n\n","author_short":["Niemueller, T.","Lakemeyer, G.","Leofante, F.","Abraham, E."],"key":"niemueller_towards_2017","id":"niemueller_towards_2017","bibbaseid":"niemueller-lakemeyer-leofante-abraham-towardsclipsbasedtaskexecutionandmonitoringwithsmtbaseddecisionoptimization-2017","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:41:19.888Z","downloads":0,"keywords":[],"search_terms":["towards","clips","based","task","execution","monitoring","smt","based","decision","optimization","niemueller","lakemeyer","leofante","abraham"],"title":"Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization","year":2017,"dataSources":["9pYjFWPBodPyDyb7N"]}