%0 Journal Article %1 shapiro2000is %A Shapiro, S.C. %D 2000 %I Springer %J Conceptual Structures: Logical, Linguistic, and Computational Issues %K WW-CITED WW-SHOULD knowledge logic nlp reasoning semantic %P 510--524 %T An Introduction to SNePS 3 %V 1867 %X 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.

@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 = {https://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 = {2009-01-23T09:58:50.000+0100}, title = {{An Introduction to SNePS 3}}, volume = 1867, year = 2000 }