{"_id":{"_str":"53425cb30e946d920a000b75"},"__v":156,"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"author_short":["Marcos, M.","Balser, M.","Ten Teije, A.","Van Harmelen, F."],"bibbaseid":"marcos-balser-tenteije-vanharmelen-frominformalknowledgetoformallogicarealisticcasestudyinmedicalprotocols-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Madrid, Spain","author":[{"propositions":[],"lastnames":["Marcos"],"firstnames":["Mar"],"suffixes":[]},{"propositions":[],"lastnames":["Balser"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["Annette."],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["Frank."],"suffixes":[]}],"booktitle":"Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management (\\EKAW\\-2002), LNAI","editor":[{"propositions":[],"lastnames":["Gomez-Perez"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Benjamins"],"firstnames":["R."],"suffixes":[]}],"file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Marcos et al. - 2002 - From informal knowledge to formal logic a realistic case study in medical protocols.pdf:pdf","pages":"3–13","publisher":"Springer","title":"From informal knowledge to formal logic: a realistic case study in medical protocols","url":"http://www.springerlink.com/index/P0PVCKUMW9N9FQ9U.pdf http://www.cs.vu.nl/~annette/papers-pdf/2002EKAW.pdf","year":"2002","bibtex":"@inproceedings{Marcos2002,\naddress = {Madrid, Spain},\nauthor = {Marcos, Mar and Balser, Michael and {Ten Teije}, Annette. and {Van Harmelen}, Frank.},\nbooktitle = {Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({\\{}EKAW{\\}}-2002), LNAI},\neditor = {Gomez-Perez, A. and Benjamins, R.},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Marcos et al. - 2002 - From informal knowledge to formal logic a realistic case study in medical protocols.pdf:pdf},\npages = {3--13},\npublisher = {Springer},\ntitle = {{From informal knowledge to formal logic: a realistic case study in medical protocols}},\nurl = {http://www.springerlink.com/index/P0PVCKUMW9N9FQ9U.pdf http://www.cs.vu.nl/{~}annette/papers-pdf/2002EKAW.pdf},\nyear = {2002}\n}\n","author_short":["Marcos, M.","Balser, M.","Ten Teije, A.","Van Harmelen, F."],"editor_short":["Gomez-Perez, A.","Benjamins, R."],"key":"Marcos2002","id":"Marcos2002","bibbaseid":"marcos-balser-tenteije-vanharmelen-frominformalknowledgetoformallogicarealisticcasestudyinmedicalprotocols-2002","role":"author","urls":{"Paper":"http://www.springerlink.com/index/P0PVCKUMW9N9FQ9U.pdf http://www.cs.vu.nl/~annette/papers-pdf/2002EKAW.pdf"},"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/~frankh/publications.html"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","downloads":0,"keywords":[],"search_terms":["informal","knowledge","formal","logic","realistic","case","study","medical","protocols","marcos","balser","ten teije","van harmelen"],"title":"From informal knowledge to formal logic: a realistic case study in medical protocols","year":2002,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","9CnmDh6oPMNTwHksm","LEcHEiZn5fKAs2WWu"]}