%0 Conference Paper %1 conf/amai/RosenSS00 %A Rosen, Tzachi %A Jr., Eugene Santos %A Shimony, Solomon Eyal %B AI&M %D 2000 %K dblp %T Reasoning with BKBs - Algorithms and Complexity. %U http://dblp.uni-trier.de/db/conf/amai/amai2000.html#RosenSS00

@inproceedings{conf/amai/RosenSS00, added-at = {2022-02-08T00:00:00.000+0100}, author = {Rosen, Tzachi and Jr., Eugene Santos and Shimony, Solomon Eyal}, biburl = {https://www.bibsonomy.org/bibtex/2949041343bd8dce6df6c863702b9a006/dblp}, booktitle = {AI&M}, crossref = {conf/amai/2000}, ee = {http://rutcor.rutgers.edu/~amai/aimath00/regular/rosen_et_al-old.ps}, interhash = {bbf3050daf312fba0c207ab825ab57d9}, intrahash = {949041343bd8dce6df6c863702b9a006}, keywords = {dblp}, timestamp = {2024-04-10T07:31:07.000+0200}, title = {Reasoning with BKBs - Algorithms and Complexity.}, url = {http://dblp.uni-trier.de/db/conf/amai/amai2000.html#RosenSS00}, year = 2000 }