@inproceedings { SchifferEtAl:CogRob2010:SMaRT,
        title = {Self-Maintenance for Autonomous Robots in the Situation Calculus},
        journal = {Cognitive Robotics},
        number = {10081},
        year = {2010},
        publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
        address = {Dagstuhl, Germany},
        abstract = {In order to make a robot execute a given task plan
                  more robustly we want to enable it to take care of
                  its self-maintenance requirements during online
                  execution of this program. This requires the robot
                  to know about the (internal) states of its
                  components, constraints that restrict execution of
                  certain actions and possibly also how to recover
                  from faulty situations. The general idea is to
                  implement a transformation process on the plans,
                  which are specified in the agent programming
                  language ReadyLog, to be performed based on explicit
                  (temporal) constraints. Afterwards, a 'guarded'
                  execution of the transformed program should result
                  in more robust behavior.},
        issn = {1862-4405},
        url_DROPS = {http://drops.dagstuhl.de/opus/volltexte/2010/2636},
        author = {Schiffer, Stefan and Andreas Wortmann and Lakemeyer, Gerhard},
        editor = {Lakemeyer, Gerhard and Levesque, Hector J. and Fiora Pirri}
}

{"_id":"DWGhwcY5h29QZq35m","bibbaseid":"schiffer-wortmann-lakemeyer-selfmaintenanceforautonomousrobotsinthesituationcalculus-2010","downloads":0,"creationDate":"2017-04-05T15:35:14.210Z","title":"Self-Maintenance for Autonomous Robots in the Situation Calculus","author_short":["Schiffer, S.","Wortmann, A.","Lakemeyer, G."],"year":2010,"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Self-Maintenance for Autonomous Robots in the Situation Calculus","journal":"Cognitive Robotics","number":"10081","year":"2010","publisher":"Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany","address":"Dagstuhl, Germany","abstract":"In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this program. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of certain actions and possibly also how to recover from faulty situations. The general idea is to implement a transformation process on the plans, which are specified in the agent programming language ReadyLog, to be performed based on explicit (temporal) constraints. Afterwards, a 'guarded' execution of the transformed program should result in more robust behavior.","issn":"1862-4405","url_drops":"http://drops.dagstuhl.de/opus/volltexte/2010/2636","author":[{"propositions":[],"lastnames":["Schiffer"],"firstnames":["Stefan"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Wortmann"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]},{"firstnames":["Fiora"],"propositions":[],"lastnames":["Pirri"],"suffixes":[]}],"bibtex":"@inproceedings { SchifferEtAl:CogRob2010:SMaRT,\n title = {Self-Maintenance for Autonomous Robots in the Situation Calculus},\n journal = {Cognitive Robotics},\n number = {10081},\n year = {2010},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},\n address = {Dagstuhl, Germany},\n abstract = {In order to make a robot execute a given task plan\n more robustly we want to enable it to take care of\n its self-maintenance requirements during online\n execution of this program. This requires the robot\n to know about the (internal) states of its\n components, constraints that restrict execution of\n certain actions and possibly also how to recover\n from faulty situations. The general idea is to\n implement a transformation process on the plans,\n which are specified in the agent programming\n language ReadyLog, to be performed based on explicit\n (temporal) constraints. Afterwards, a 'guarded'\n execution of the transformed program should result\n in more robust behavior.},\n issn = {1862-4405},\n url_DROPS = {http://drops.dagstuhl.de/opus/volltexte/2010/2636},\n author = {Schiffer, Stefan and Andreas Wortmann and Lakemeyer, Gerhard},\n editor = {Lakemeyer, Gerhard and Levesque, Hector J. and Fiora Pirri}\n}\n\n","author_short":["Schiffer, S.","Wortmann, A.","Lakemeyer, G."],"editor_short":["Lakemeyer, G.","Levesque, H. J.","Pirri, F."],"key":"SchifferEtAl:CogRob2010:SMaRT","id":"SchifferEtAl:CogRob2010:SMaRT","bibbaseid":"schiffer-wortmann-lakemeyer-selfmaintenanceforautonomousrobotsinthesituationcalculus-2010","role":"author","urls":{" drops":"http://drops.dagstuhl.de/opus/volltexte/2010/2636"},"metadata":{"authorlinks":{"schiffer, s":"https://kbsg.rwth-aachen.de/~schiffer/"}},"downloads":0},"search_terms":["self","maintenance","autonomous","robots","situation","calculus","schiffer","wortmann","lakemeyer"],"keywords":[],"authorIDs":["pAs8oLbgt7aaf9kAA"],"dataSources":["h8Pz4jiwoLbb3hmG2","dqRQPSg6Hy3ZXQg7z"]}