Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

AspertiPadovaniSacerdotiCoenSchena01A (In proceedings)
Author(s) Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Title« HELM and the Semantic Math-Web »
InProceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01)
SeriesLNCS
Volume2152
Page(s)59-74
Year2001
PublisherSpringer
URLhttp://www.di.unito.it/~padovani/Papers/lncs_2152.pdf
Abstract
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. In particular, XML provides a central technology for storing, retrieving and processing mathematical documents, comprising sophisticated web-publishing mechanisms (stylesheets) covering notational and stylistic issues. By the application of XML technology to the large repositories of structured, content oriented information offered by Logical Frameworks we meet the ultimate goal of the Semantic Web, that is to allow machines the sharing and exploitation of knowledge in the Web way, i.e. without central authority, with few basic rules, in a scalable, adaptable, extensible manner.

BibTeX code

@inproceedings{AspertiPadovaniSacerdotiCoenSchena01A,
  volume = {2152},
  author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
            Irene Schena},
  series = {LNCS},
  booktitle = {Proceedings of the International Conference on Theorem Proving in
               Higher Order Logics (TPHOLs'01)},
  url = {http://www.di.unito.it/~padovani/Papers/lncs_2152.pdf},
  abstract = { The eXtensible Markup Language (XML) opens the possibility to
              start anew, on a solid technological ground, the ambitious goal of
              developing a suitable technology for the creation and maintenance
              of a virtual, distributed, hypertextual library of formal
              mathematical knowledge. In particular, XML provides a central
              technology for storing, retrieving and processing mathematical
              documents, comprising sophisticated web-publishing mechanisms
              (stylesheets) covering notational and stylistic issues. By the
              application of XML technology to the large repositories of
              structured, content oriented information offered by Logical
              Frameworks we meet the ultimate goal of the Semantic Web, that is
              to allow machines the sharing and exploitation of knowledge in the
              Web way, i.e. without central authority, with few basic rules, in
              a scalable, adaptable, extensible manner. },
  title = {{HELM and the Semantic Math-Web}},
  publisher = {Springer},
  year = {2001},
  pages = {59-74},
  doi = {10.1007/3-540-44755-5\_6},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!