@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"
}

{"_id":"qPkb9iSFiSYw6kMFJ","bibbaseid":"stegers-tenteije-vanharmelen-fromnaturallanguagetoformalproofgoalstructuredgoalformalisationappliedtomedicalguidelinesextendedabstract-2006","author_short":["Stegers, R.","ten Teije, A.","van Harmelen, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Stegers"],"suffixes":[]},{"firstnames":["A."],"propositions":["ten"],"lastnames":["Teije"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]}],"title":"From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)","editor":[{"firstnames":["S."],"propositions":[],"lastnames":["Staab"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Svatek"],"suffixes":[]}],"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","bibtex":"@InProceedings{EKAW06-Protocure,\r\n author = \"R. Stegers and A. ten Teije and F. van Harmelen\",\r\n title = \"From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)\",\r\n editor = \"S. Staab and V. Svatek\",\r\n number = \"4248\",\r\n series = \"Lecture Notes in Artificial Intelligence\",\r\n pages = \"51-58\",\r\n booktitle = \"Proceedings of the 15th\r\n International Conference on Knowledge\r\n Engineering and Knowledge Management ({EKAW}'06)\",\r\n publisher = \"Springer-Verlag\",\r\n year = 2006,\r\n keywords = {Medical Knowledge Representation},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/EKAW06-Protocure.pdf\"\r\n}\r\n\r\n","author_short":["Stegers, R.","ten Teije, A.","van Harmelen, F."],"editor_short":["Staab, S.","Svatek, V."],"key":"EKAW06-Protocure","id":"EKAW06-Protocure","bibbaseid":"stegers-tenteije-vanharmelen-fromnaturallanguagetoformalproofgoalstructuredgoalformalisationappliedtomedicalguidelinesextendedabstract-2006","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/EKAW06-Protocure.pdf"},"keyword":["Medical Knowledge Representation"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["medical knowledge representation"],"search_terms":["natural","language","formal","proof","goal","structured","goal","formalisation","applied","medical","guidelines","extended","abstract","stegers","ten teije","van harmelen"],"title":"From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)","year":2006}