From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract). Stegers, R., ten Teije, A., & van Harmelen, F. In Staab, S. & Svatek, V., editors, Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management (EKAW'06), of Lecture Notes in Artificial Intelligence, pages 51-58, 2006. Springer-Verlag.
From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract) [pdf]Paper  bibtex   
@InProceedings{EKAW06-Protocure,
  author =       "R. Stegers and A. ten Teije and F. van Harmelen",
  title =        "From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)",
  editor =       "S. Staab and V. Svatek",
  number =       "4248",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "51-58",
  booktitle =    "Proceedings of the 15th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'06)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW06-Protocure.pdf"
}
Downloads: 0