@INPROCEEDINGS{ZarriessClassen2015a,
  author      = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title       = {Decidable Verification of Knowledge-Based Programs
                  over Description Logic Actions with Sensing}, 
  booktitle   = {Proceedings of the Twenty-Eighth International
                  Workshop on Description Logics (DL 2015)},
  year        = {2015},
  publisher   = {CEUR-WS.org},
  url         = {http://www.kbsg.rwth-aachen.de/~classen/pub/ZarriessClassen2015a.pdf}
}

{"_id":"BYdqFwabSr7SwiumW","bibbaseid":"zarrie-claen-decidableverificationofknowledgebasedprogramsoverdescriptionlogicactionswithsensing-2015","author_short":["Zarrieß, B.","Claßen, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Zarrieß"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Claßen"],"suffixes":[]}],"title":"Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing","booktitle":"Proceedings of the Twenty-Eighth International Workshop on Description Logics (DL 2015)","year":"2015","publisher":"CEUR-WS.org","url":"http://www.kbsg.rwth-aachen.de/~classen/pub/ZarriessClassen2015a.pdf","bibtex":"@INPROCEEDINGS{ZarriessClassen2015a,\n author = {Benjamin Zarrie{\\ss} and Jens Cla{\\ss}en},\n title = {Decidable Verification of Knowledge-Based Programs\n over Description Logic Actions with Sensing}, \n booktitle = {Proceedings of the Twenty-Eighth International\n Workshop on Description Logics (DL 2015)},\n year = {2015},\n publisher = {CEUR-WS.org},\n url = {http://www.kbsg.rwth-aachen.de/~classen/pub/ZarriessClassen2015a.pdf}\n}\n\n","author_short":["Zarrieß, B.","Claßen, J."],"key":"ZarriessClassen2015a","id":"ZarriessClassen2015a","bibbaseid":"zarrie-claen-decidableverificationofknowledgebasedprogramsoverdescriptionlogicactionswithsensing-2015","role":"author","urls":{"Paper":"http://www.kbsg.rwth-aachen.de/~classen/pub/ZarriessClassen2015a.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["decidable","verification","knowledge","based","programs","over","description","logic","actions","sensing","zarrieß","claßen"],"title":"Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing","year":2015}