%0 Conference Paper %1 conf/robocup/OpferNG16 %A Opfer, Stephan %A Niemczyk, Stefan %A Geihs, Kurt %B MORSE@RoboCup %D 2016 %E Aßmann, Uwe %E Brugali, Davide %E Piechnick, Christian %I ACM %K %P 32-39 %T Multi-Agent Plan Verification with Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/robocup/morse2016.html#OpferNG16 %@ 978-1-4503-4259-9

@inproceedings{conf/robocup/OpferNG16, added-at = {2023-12-12T17:34:11.000+0100}, author = {Opfer, Stephan and Niemczyk, Stefan and Geihs, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/25cb602f260b34e609cefaebf5f6ecae0/admin}, booktitle = {MORSE@RoboCup}, crossref = {conf/robocup/2016morse}, editor = {Aßmann, Uwe and Brugali, Davide and Piechnick, Christian}, ee = {https://doi.org/10.1145/3022099.3022104}, interhash = {05980fb92ee993f2ae9e48d62a9df0e3}, intrahash = {5cb602f260b34e609cefaebf5f6ecae0}, isbn = {978-1-4503-4259-9}, keywords = {}, pages = {32-39}, publisher = {ACM}, timestamp = {2023-12-12T17:34:11.000+0100}, title = {Multi-Agent Plan Verification with Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/robocup/morse2016.html#OpferNG16}, year = 2016 }