%0 Journal Article %1 journals/amai/RosenSS04 %A Rosen, Tzachi %A Shimony, Solomon Eyal %A Jr., Eugene Santos %D 2004 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 403-425 %T Reasoning with BKBs - Algorithms and Complexity. %U http://dblp.uni-trier.de/db/journals/amai/amai40.html#RosenSS04 %V 40

@article{journals/amai/RosenSS04, added-at = {2018-11-14T00:00:00.000+0100}, author = {Rosen, Tzachi and Shimony, Solomon Eyal and Jr., Eugene Santos}, biburl = {https://www.bibsonomy.org/bibtex/28c6f9814e2dbc2a35a449fd4937bf4d7/dblp}, ee = {https://www.wikidata.org/entity/Q57518767}, interhash = {8019671aa1319da4c35ebdb82907cf5b}, intrahash = {8c6f9814e2dbc2a35a449fd4937bf4d7}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {403-425}, timestamp = {2018-11-15T14:28:59.000+0100}, title = {Reasoning with BKBs - Algorithms and Complexity.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai40.html#RosenSS04}, volume = 40, year = 2004 }