AI Mashup Challenge at KI 2009 ( homepage)

Abstract (PDF): Michael Kohlhase, Jana Giceva, Christoph Lange, Vyacheslav Zholudev: JOBAD – Interactive Mathematical Documents

For the JOBAD demo, you need  Firefox 3.5 (sorry, older versions won't work), as Firefox is the only browser offering comprehensive MathML support.

  •  Entry point to JOBAD-enriched computer science lecture notes, powered by the  TNTBase XML database.
    • Try this first:  relations (look up e.g. the definition of the ⊆ symbol)
      • you can look up the definitions of most symbols by right-clicking on the respective symbol and selecting “lookup definition” from the context menu
      • If the context menu should not stay open, please try again, moving the mouse slightly upwards out of the menu. If it does not work on Mac OS, please right-click or Ctrl+click on a symbol and then hit Ctrl+1 to look up its definition
      • the close button of the definition popup is in its upper right corner – a bit hard to see, we're working on that
    • The lecture notes mainly cover Michael Kohlhase's “General Computer Science” lecture, but also specialized lectures on logics and natural language, as well as descriptions of other projects of the  KWARC research group.
  •  unit conversion (and also some definition lookup), powered by a different server backend
    • right-click on any number or unit, and you can convert the value to any unit available from the context menu (or hit Ctrl+4, Ctrl+5, etc.) – this can be repeated for further units, and undone
    • when converting back to a unit that has been computed before, note that no further request to the web service is made
  • client-only scripts (no interaction with web services) that demonstrate subterm folding