@article{shapiro2000is,
  abstract = {This paper provides an introduction to SNePS 3, the latest entry in the SNePS family of knowledge representation and reasoning (KRR) systems. The emphasis is on SNePS 3 as an example of a logic-based network KRR system.},
  added-at = {2008-03-24T14:09:18.000+0100},
  author = {Shapiro, S.C.},
  biburl = {http://www.bibsonomy.org/bibtex/255d5729653d12674857ad091f8432de2/brightbyte},
  interhash = {341d297901b6180dddb0ce3a19545b6a},
  intrahash = {55d5729653d12674857ad091f8432de2},
  journal = {Conceptual Structures: Logical, Linguistic, and Computational Issues},
  keywords = {WW-CITED WW-SHOULD knowledge logic nlp reasoning semantic},
  pages = {510--524},
  publisher = {Springer},
  timestamp = {2008-03-24T14:09:18.000+0100},
  title = {{An Introduction to SNePS 3}},
  volume = 1867,
  year = 2000
}