On Building a Knowledge Base for Stability Theory

被引：0

作者：

Rowinska-Schwarzweller, Agnieszka ^{[1
]}

Schwarzweller, Christoph ^{[2
]}

机构：

[1] Univ Stuttgart, Chair Display Technol, Allmandring 3B, D-70569 Stuttgart, Germany

[2] Univ Gdansk, Dept Comp Sci, PL-80952 Gdansk, Poland

来源：

INTELLIGENT COMPUTER MATHEMATICS | 2010年 / 6167卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included in mathematical repositories. Applications more distant from pure mathematics, however - though based on these theories - often need more detailed knowledge about the underlying theories. In this paper we present an example Mizar formalization from the area of electrical engineering focusing on stability theory which is based on complex analysis. We discuss what kind of special knowledge is necessary and which amount of this knowledge is included in existing repositories.

引用

下载

页码：427 / +

页数：3

共 50 条

[41] Activity theory as a framework for analysing knowledge building
Van Aalst J.
Hill C.M.
Learning Environments Research, 2006, 9 (1) : 23 - 44
[42] Theory building in knowledge management - In search of paradigms
Hazlett, SA
McAdam, R
Gallagher, S
JOURNAL OF MANAGEMENT INQUIRY, 2005, 14 (01) : 31 - 42
[43] Building a Network Knowledge Base Based on a Belief Revision Operator
Osuna-Gonzalez, Reynold
De Ita-Luna, Guillermo
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS-ICCSA 2023 WORKSHOPS, PT I, 2023, 14104 : 3 - 14
[44] Data Acquisition and Information Extraction for Scientific Knowledge Base Building
Andruszkiewicz, Piotr
Rybinski, Henryk
2018 IEEE 12TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2018, : 256 - 259
[45] Corpora as a Source of Biomedical Information: Building a Technological Knowledge Base
Varela Vila, Tamara
CORPUS RESOURCES FOR DESCRIPTIVE AND APPLIED STUDIES. CURRENT CHALLENGES AND FUTURE DIRECTIONS: SELECTED PAPERS FROM THE 5TH INTERNATIONAL CONFERENCE ON CORPUS LINGUISTICS (CILC2013), 2013, 95 : 630 - 636
[46] Building a Commonsense Knowledge Base for Context-Awareness Inference
Zhang, Li
Li, Shijian
Pan, Gang
2013 10TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2013, : 430 - 435
[47] Building knowledge base from semi-structured data
Liu, Xiao-Li
Wu, Guo-Qing
Yang, Min
PROCEEDINGS OF 2007 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2007, : 839 - +
[48] A Building Method of Virtual Knowledge Base Based on Ontology Mapping
Li, Huayu
Zhang, Xiaoming
KNOWLEDGE ENGINEERING AND MANAGEMENT, 2011, 123 : 597 - +
[49] On Building an Ontological Knowledge Base for Managing Patient Safety Events
Liang, Chen
Gong, Yang
MEDINFO 2015: EHEALTH-ENABLED HEALTH, 2015, 216 : 202 - 206
[50] Building ontological meaning in a lexico-conceptual knowledge base
Jimenez-Briones, Rocio
Luzondo Oyon, Alba
ONOMAZEIN, 2011, (23): : 11 - 40

← 1 2 3 4 5 →