✦ LIBER ✦

[Lecture Notes in Computer Science] Conceptual Structures: Applications, Implementation and Theory Volume 954 || Ontology revision

✍ Scribed by Ellis, Gerard; Levinson, Robert; Rich, William; Sowa, John F.

Book ID: 121508090
Publisher: Springer Berlin Heidelberg
Year: 1995
Weight: 840 KB
Category: Article
ISBN: 3540495398
DOI: 10.1007/3-540-60161-9_26

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Conceptual Structures: Theory, Tools and Applications Volume 1453 || Towards correspondences between Conceptual Graphs and Description Logics

✍ Mugnier, Marie-Laure; Chein, Michel 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 743 KB

This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998. The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Conceptual Structures: Logical, Linguistic, and Computational Issues Volume 1867 || Conceptual Modeling for Distributed Ontology Environments

✍ Ganter, Bernhard; Mineau, Guy W. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 87 KB

Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 953 || Effective applicative structures

✍ Pitt, David; Rydeheard, David E.; Johnstone, Peter 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 608 KB

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Conceptual Structures: Leveraging Semantic Technologies Volume 5662 || Conceptual Graphs and Datatypes

✍ Rudolph, Sebastian; Dau, Frithjof; Kuznetsov, Sergei O. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 532 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 3967 || Multi-agent Explicit Knowledge

✍ Grigoriev, Dima; Harrison, John; Hirsch, Edward A. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 403 KB

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track d

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Programming Volume 240 || Galois connections and computer science applications

✍ Pitt, David; Abramsky, Samson; Poigné, Axel; Rydeheard, David 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 730 KB