%0 Journal Article %1 journals/ai/ShenE16 %A Shen, Yi-Dong %A Eiter, Thomas %D 2016 %J Artif. Intell. %K dblp %P 115-135 %T Evaluating epistemic negation in answer set programming. %U http://dblp.uni-trier.de/db/journals/ai/ai237.html#ShenE16 %V 237

@article{journals/ai/ShenE16, added-at = {2020-02-04T00:00:00.000+0100}, author = {Shen, Yi-Dong and Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2af7827af7582c243cde978af56ef439e/dblp}, ee = {https://doi.org/10.1016/j.artint.2016.04.004}, interhash = {b9a3a706bd319e8a285cf1a879359cb4}, intrahash = {af7827af7582c243cde978af56ef439e}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {115-135}, timestamp = {2020-02-05T11:41:25.000+0100}, title = {Evaluating epistemic negation in answer set programming.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai237.html#ShenE16}, volume = 237, year = 2016 }