An introduction to SNePS 3

Stuart C. Shapiro

doi:10.1007/10722280_35

An introduction to SNePS 3

Stuart C. Shapiro

Department of Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

25 Scopus citations

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 logicbased network KRR system.

Original language	English
Title of host publication	Conceptual Structures
Subtitle of host publication	Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings
Editors	Bernhard Ganter, Guy W. Mineau
Publisher	Springer Verlag
Pages	510-524
Number of pages	15
ISBN (Print)	354067859X, 9783540446637
DOIs	https://doi.org/10.1007/10722280_35
State	Published - 2000
Event	8th International Conference on Conceptual Structures, ICCS 2000 - Darmstadt , Germany Duration: Aug 14 2000 → Aug 18 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1867
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Conference on Conceptual Structures, ICCS 2000
Country/Territory	Germany
City	Darmstadt
Period	08/14/00 → 08/18/00

Access to Document

10.1007/10722280_35

Cite this

Shapiro, S. C. (2000). An introduction to SNePS 3. In B. Ganter, & G. W. Mineau (Eds.), Conceptual Structures: Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings (pp. 510-524). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1867). Springer Verlag. https://doi.org/10.1007/10722280_35

Shapiro, Stuart C. / An introduction to SNePS 3. Conceptual Structures: Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings. editor / Bernhard Ganter ; Guy W. Mineau. Springer Verlag, 2000. pp. 510-524 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7b36d027f66440a18307a4ecea0c89b6,

title = "An introduction to SNePS 3",

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 logicbased network KRR system.",

author = "Shapiro, \{Stuart C.\}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 8th International Conference on Conceptual Structures, ICCS 2000 ; Conference date: 14-08-2000 Through 18-08-2000",

year = "2000",

doi = "10.1007/10722280\_35",

language = "English",

isbn = "354067859X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "510--524",

editor = "Bernhard Ganter and Mineau, \{Guy W.\}",

booktitle = "Conceptual Structures",

address = "Germany",

}

Shapiro, SC 2000, An introduction to SNePS 3. in B Ganter & GW Mineau (eds), Conceptual Structures: Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1867, Springer Verlag, pp. 510-524, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt , Germany, 08/14/00. https://doi.org/10.1007/10722280_35

An introduction to SNePS 3. / Shapiro, Stuart C.
Conceptual Structures: Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings. ed. / Bernhard Ganter; Guy W. Mineau. Springer Verlag, 2000. p. 510-524 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1867).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An introduction to SNePS 3

AU - Shapiro, Stuart C.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2000.

PY - 2000

Y1 - 2000

N2 - 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 logicbased network KRR system.

AB - 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 logicbased network KRR system.

UR - https://www.scopus.com/pages/publications/84958659035

U2 - 10.1007/10722280_35

DO - 10.1007/10722280_35

M3 - Conference contribution

AN - SCOPUS:84958659035

SN - 354067859X

SN - 9783540446637

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 510

EP - 524

BT - Conceptual Structures

A2 - Ganter, Bernhard

A2 - Mineau, Guy W.

PB - Springer Verlag

T2 - 8th International Conference on Conceptual Structures, ICCS 2000

Y2 - 14 August 2000 through 18 August 2000

ER -

Shapiro SC. An introduction to SNePS 3. In Ganter B, Mineau GW, editors, Conceptual Structures: Logical, Linguistic, and Computational Issues - 8th International Conference on Conceptual Structures, ICCS 2000, Proceedings. Springer Verlag. 2000. p. 510-524. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10722280_35

An introduction to SNePS 3

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this