%0 Conference Paper %1 conf/lpnmr/GelfondBG01 %A Gelfond, Michael %A Balduccini, Marcello %A Galloway, Joel %B LPNMR %D 2001 %E Eiter, Thomas %E Faber, Wolfgang %E Truszczynski, Miroslaw %I Springer %K dblp %P 213-225 %T Diagnosing Physical Systems in A-Prolog. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#GelfondBG01 %V 2173 %@ 3-540-42593-4

@inproceedings{conf/lpnmr/GelfondBG01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Gelfond, Michael and Balduccini, Marcello and Galloway, Joel}, biburl = {https://www.bibsonomy.org/bibtex/21acd73d2debd48450fc102186369c528/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2001}, editor = {Eiter, Thomas and Faber, Wolfgang and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/3-540-45402-0_16}, interhash = {76a3024e872276209a3681f0be5e7be9}, intrahash = {1acd73d2debd48450fc102186369c528}, isbn = {3-540-42593-4}, keywords = {dblp}, pages = {213-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:07.000+0200}, title = {Diagnosing Physical Systems in A-Prolog.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#GelfondBG01}, volume = 2173, year = 2001 }