Reasoning with BKBs - Algorithms and Complexity - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tzachi Rosen, Eugene Santos Jr., Solomon Eyal Shimony. Reasoning with BKBs - Algorithms and Complexity. In AMAI. 2000. [doi]

@inproceedings{RosenSS00,
  title = {Reasoning with BKBs - Algorithms and Complexity},
  author = {Tzachi Rosen and Eugene Santos Jr. and Solomon Eyal Shimony},
  year = {2000},
  url = {http://rutcor.rutgers.edu/~amai/aimath00/regular/rosen_et_al-old.ps},
  researchr = {https://researchr.org/publication/RosenSS00},
  cites = {0},
  citedby = {0},
  booktitle = {AMAI},
}

runs on WebDSL