more links in the papers page
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 10 Feb 2010 16:07:37 +0000 (17:07 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 10 Feb 2010 16:07:37 +0000 (17:07 +0100)
research/publications.mdwn

index 8bd0f75..d60cdfa 100644 (file)
@@ -36,8 +36,10 @@ in reverse chronological order.
        In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated
          Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Volume
          39, Number 2, Special Issue on User Interfaces for Theorem
        In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated
          Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Volume
          39, Number 2, Special Issue on User Interfaces for Theorem
-         Proving</a>, Springer Netherlands, ISSN 0168-7433, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
-         109-139</a>, 2007.
+         Proving</a>, Springer Netherlands,
+         <a href="http://www.springerlink.com/content/0168-7433">ISSN 0168-7433</a>,
+         <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp. 109-139</a>,
+         2007.
       </em>
     [[!toggle id=id9 text="Abstract..."]] [[!toggleable id=id9 text="""
     *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
       </em>
     [[!toggle id=id9 text="Abstract..."]] [[!toggleable id=id9 text="""
     *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
@@ -46,9 +48,10 @@ in reverse chronological order.
 # book chapters
 
  1. <a class="paper_download" href="web30-semantics-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Web Semantics via Wiki Templating**.  <em>
 # book chapters
 
  1. <a class="paper_download" href="web30-semantics-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Web Semantics via Wiki Templating**.  <em>
-       Chapter 34 of Handbook of research on Web 2.0, 3.0 and x.0:
-       technologies, business and social applications. IGI Publishing, May 2009,
-       ISBN 978-1-60566-384-5.
+       Chapter 34 of <a href="http://www.amazon.com/Handbook-Research-Web-2-0-3-0/dp/1605663840">Handbook
+       of research on Web 2.0, 3.0 and x.0: technologies, business and social
+       applications</a>. San Murugesan Ed., November 2009, ISBN
+       978-1605663845.
       </em>
     [[!toggle id=id21 text="Abstract..."]] [[!toggleable id=id21 text="""
     *Abstract:* A foreseeable incarnation of Web 3.0 could inherit machine understandability from the Semantic Web, and collaborative editing from Web 2.0 applications. We review the research and development trends which are getting today Web nearer to such an incarnation. We present semantic wikis, microformats, and the so-called "lowercase semantic web": they are the main approaches at closing the technological gap between content authors and Semantic Web technologies. We discuss a too often neglected aspect of the associated technologies, namely how much they adhere to the wiki philosophy of open editing: is there an intrinsic incompatibility between semantic rich content and unconstrained editing? We argue that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon.
       </em>
     [[!toggle id=id21 text="Abstract..."]] [[!toggleable id=id21 text="""
     *Abstract:* A foreseeable incarnation of Web 3.0 could inherit machine understandability from the Semantic Web, and collaborative editing from Web 2.0 applications. We review the research and development trends which are getting today Web nearer to such an incarnation. We present semantic wikis, microformats, and the so-called "lowercase semantic web": they are the main approaches at closing the technological gap between content authors and Semantic Web technologies. We discuss a too often neglected aspect of the associated technologies, namely how much they adhere to the wiki philosophy of open editing: is there an intrinsic incompatibility between semantic rich content and unconstrained editing? We argue that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon.