%0 Conference Paper %1 conf/ptai/BesoldR13 %A Besold, Tarek R. %A Robere, Robert %B PT-AI %D 2013 %E Müller, Vincent C. %I Springer %K dblp %P 43-62 %T When Thinking Never Comes to a Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough. %U http://dblp.uni-trier.de/db/conf/ptai/ptai2013.html#BesoldR13 %V 376 %@ 978-3-319-26485-1

@inproceedings{conf/ptai/BesoldR13, added-at = {2019-09-06T00:00:00.000+0200}, author = {Besold, Tarek R. and Robere, Robert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/244620f87dd7a6120446a80c235e9da90/dblp}, booktitle = {PT-AI}, crossref = {conf/ptai/2013}, editor = {Müller, Vincent C.}, ee = {https://doi.org/10.1007/978-3-319-26485-1_4}, interhash = {2bf182413fab1e832d2a2f6ae29ec5c8}, intrahash = {44620f87dd7a6120446a80c235e9da90}, isbn = {978-3-319-26485-1}, keywords = {dblp}, pages = {43-62}, publisher = {Springer}, series = {Synthese Library}, timestamp = {2019-12-11T13:02:21.000+0100}, title = {When Thinking Never Comes to a Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough.}, url = {http://dblp.uni-trier.de/db/conf/ptai/ptai2013.html#BesoldR13}, volume = 376, year = 2013 }