IW Meeting 2011-08-11

From Inference Web

Jump to: navigation, search

Contents

Meeting Information

Attendees

  • Deborah
  • Jim
  • Cynthia
  • Paulo

Agenda

http://inference-web.org/wiki/Tools http://inference-web.org/wiki/Semantic_Water_Quality_Portal from http://inference-web.org/wiki/Tools,_Demos_and_Datasets http://inference-web.org/wiki/Combine_and_Improve_TPTP_Proofs todo - cynthia please augment the combine and improve page to include related publications with links

Discussions

http://inference-web.org/wiki/Tools

http://inference-web.org/wiki/Semantic_Water_Quality_Portal

from http://inference-web.org/wiki/Tools,_Demos_and_Datasets

http://inference-web.org/wiki/Combine_and_Improve_TPTP_Proofs

todo - cynthia please augment the combine and improve page to include related publications with links

Wish List

NIMD

We have the kani video. we need text introducing the explanation that was done and the ramazzi example with a text introduction (we have those description in the papers).

 if we had images of the abstraction work that would be nice with text introducing it.
 Also 
  • example2: UIMALogic's Mississippi Automated System
  • example3: Ramazi-has-office
  • need to generate screeenshots from those
  • many are the aspects that we can highlight from those proofs
  • Do not forget that we have the full registration of IBM components done by IBM
  • publications here

CALO

  • Explanation questions
  • ICEE
  • publications here

TPTP

  • good but needs publications added - asked cynthia to do that.

3D Tomography of Earth (UTEP)

Personal tools
Navigation