Information retrieval and rendering with MML query

被引：0
|
作者：
Bancerek, Grzegorz [1 ]
机构：
[1] Bialystok Tech Univ, Fac Comp Sci, Bialystok, Poland
来源：
MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS | 2006年 / 4108卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). MML Query is a semantics-based tool for managing the mathematical knowledge in MIZAR including searching, browsing and presentation of the evolving MML content. The tool is becoming widely used as an aid for MIZAR authors and plays an essential role in the ongoing reorganization of MML. We present new features of MML Query implemented in the third release and describe the possibilities offered by them.
引用
收藏
页码：266 / 279
页数：14
相关论文
共 50 条
  • [1] Information retrieval in MML
    Bancerek, G
    Rudnicki, P
    [J]. MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2003, 2594 : 119 - 132
  • [2] Semantics of MML Query
    Bancerek, Grzegorz
    [J]. FORMALIZED MATHEMATICS, 2012, 20 (02): : 147 - 155
  • [3] Context query in information retrieval
    Chi, CH
    Chen, D
    Lam, KY
    [J]. 14TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, : 101 - 106
  • [4] Conceptualized query for information retrieval
    Chen, Yan-Chen
    Sekiya, Hiroshi
    Takagi, Tomohiro
    [J]. NAFIPS 2007 - 2007 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, 2007, : 84 - +
  • [5] Semantics of MML Query - Ordering
    Bancerek, Grzegorz
    [J]. FORMALIZED MATHEMATICS, 2013, 21 (01): : 41 - 46
  • [6] Adapting information retrieval to query contexts
    Bai, Jing
    Nie, Jian-Yun
    [J]. INFORMATION PROCESSING & MANAGEMENT, 2008, 44 (06) : 1901 - 1922
  • [7] Parallel information retrieval with query expansion
    Chung, YJ
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (06) : 1593 - 1595
  • [8] Query formulation as an information retrieval problem
    TerHofstede, AHM
    Proper, HA
    VanderWeide, TP
    [J]. COMPUTER JOURNAL, 1996, 39 (04): : 255 - 274
  • [9] Estimating the Query Difficulty for Information Retrieval
    Carmel, David
    Yom-Tov, Elad
    [J]. SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL, 2010, : 911 - 911
  • [10] Using query contexts in information retrieval
    Bai, Jing
    Nie, Jian-Yun
    Cao, Guihong
    Bouchard, Hugues
    [J]. Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07, 2007, : 15 - 22
12345