Benjamin Zarrieß, Jens Claßen. Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
@inproceedings{ZarriessC15, title = {Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing}, author = {Benjamin Zarrieß and Jens Claßen}, year = {2015}, url = {http://ceur-ws.org/Vol-1350/paper-38.pdf}, researchr = {https://researchr.org/publication/ZarriessC15}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, editor = {Diego Calvanese and Boris Konev}, volume = {1350}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }