{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:20Z","timestamp":1725471260485},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540463634"},{"type":"electronic","value":"9783540463658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11891451_8","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T14:22:32Z","timestamp":1159885352000},"page":"51-58","source":"Crossref","is-referenced-by-count":5,"title":["From Natural Language to Formal Proof Goal"],"prefix":"10.1007","author":[{"given":"Ruud","family":"Stegers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annette","family":"ten Teije","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Stegers, R.: From natural language to formal proof goal: Structured goal formalisation applied to medical guidelines. Master\u2019s thesis, Free University Amsterdam, department of artificial intelligence (2006), Available from: http:\/\/www.stegers.info\/Ruud\/MastersThesis.pdf","DOI":"10.1007\/11891451_8"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A. Teije ten","year":"2006","unstructured":"ten Teije, A., et al.: Improving medical protocols by formal methods. Artificial Intelligence In Medicine\u00a036(3), 193\u2013209 (2006)","journal-title":"Artificial Intelligence In Medicine"},{"key":"8_CR3","unstructured":"Deliverable D4.2: Specification of guideline properties & indicators, Protocure Project-II, IST-FP6-508794 (2006), http:\/\/www.protocure.org\/"},{"key":"8_CR4","unstructured":"Balser, M.: Verifying Concurrent Systems with Symbolic Execution. PhD thesis, University of Augsburg, Augsburg (2005)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","volume":"14","author":"Y. Shahar","year":"1998","unstructured":"Shahar, Y., Miksch, S., Johnson, P.: The asgaard project: A task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine\u00a014, 29\u201351 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"8_CR6","unstructured":"George, V., Vaughn, R.: Application of lightweight formal methods in requirement engineering. CrossTalk. The Journal of Defence Software Engineering (2003)"},{"key":"8_CR7","unstructured":"Bryant, B.R.: Object-oriented natural language requirements specification, Canberra, Australia (2000)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Cooper, K., Ito, M.: Formalizing a structured natural language requirements specification notation. In: Twelfth Annual International Symposium of the International Council On Systems Engineering (INCOSE), Las Vegas, Nevada USA (2002)","DOI":"10.1002\/j.2334-5837.2002.tb02569.x"}],"container-title":["Lecture Notes in Computer Science","Managing Knowledge in a World of Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11891451_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T12:25:54Z","timestamp":1555849554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11891451_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540463634","9783540463658"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11891451_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}