{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:04:48Z","timestamp":1725487488942},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665489"},{"type":"electronic","value":"9783540481591"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48159-1_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:27:36Z","timestamp":1184588856000},"page":"342-356","source":"Crossref","is-referenced-by-count":0,"title":["Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Ferrand","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Amilcar","family":"Cardoso","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"24_CR1","unstructured":"J. J. Alferes, L. M. Pereira, T. Swift. Well-founded Abduction via Tabled Dual Programs. Technical Report, Dept. de Inform\u00e1tica, New University of Lisbon, 1999."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"H.S. Baird, H. Bunke, K. Yamamoto. Structured Document Image Analysis. Springer Verlag, 1992.","DOI":"10.1007\/978-3-642-77281-8"},{"key":"24_CR3","unstructured":"N.P. Carter. Automatic Recognition of Printed Music in the Context of Electronic Publishing. PhD Thesis, University of Surrey, February 1989."},{"key":"24_CR4","unstructured":"B. Co\u00fcasnon, P. Brisset, I. St\u00e9phan. Using Logic Programming languages For Optical Music Recognition. In Proceedings of the Third International Conference on The Practical Application of Prolog, Paris, France, 1995."},{"key":"24_CR5","unstructured":"B. Co\u00fcasnon and B. Retif. Using A Grammar For A Reliable Full Score Recognition System. In Proceedings of the International Computer MusicConference, Banff, Canada, September 1995."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio, L. M. Pereira, Abduction on 3 valued Extended Logic Programs, In V. W. Marek, A. Nerode and M. Trusczynski, editors, Logic Programming and Non-Monotonic Reasoning, Proc. of 3rd International Conf., LPNMR\u201995, Lecture Notes in Artificial Intelligence 928, pp. 29\u201342, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59487-6_3"},{"key":"24_CR7","unstructured":"ECLiPSe User manual. ECRC, Munich, Germany, 1994."},{"key":"24_CR8","volume-title":"Proceedings of the 6th International Conference on Logic Programming, ICLP89","author":"K. Eshghi","year":"1989","unstructured":"K. Eshghi, R. A. Kowalski. Abduction Compared with Negation by Failure. Proceedings of the 6th International Conference on Logic Programming, ICLP89, Lisbon, MIT Press, 1989."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"M. Ferrand, A. Cardoso. Scheduling to Reduce Uncertainty in Syntactical Music Structures. Proceedings of the XIVth Brazilian Symposium on Artificial Intelligence, Brazil, 1998.","DOI":"10.1007\/10692710_26"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"A. Kakas, R. Kowalski, F. Toni. The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235\u2013324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press, 1998.","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"24_CR11","unstructured":"A. Kakas, A. Michael. Integrating abductive and constraint logic programming. Proceedings of the Twelfth International Conference on Logic Programming, Tokyo 1995."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"A. Kakas, C. Mourlas. ACLP: Flexible Solutions to Complex Problems. Proceedings of Logic Programming and Non-monotonic Reasoning, 1997.","DOI":"10.1007\/3-540-63255-7_29"},{"key":"24_CR13","unstructured":"A. Kakas, A. Michael, C. Mourlas. Abductive Constraint Logic Programming. Technical Report, University of Cyprus, 1998."},{"key":"24_CR14","unstructured":"J. A. Leite, M. Ferrand, A. Cardoso. RIEM-A System for Recognition and Interpretation of Music Writing (in portuguese). Internal Report RI-DEI-001-98, Dept. Engenharia Inform\u00e1tica, Universidade de Coimbra, 1998."},{"key":"24_CR15","volume-title":"Proceedings of the Fourth International Conferences on Document Analysis and Recognition","author":"M.V. Stuckelberg","year":"1997","unstructured":"M.V. Stuckelberg, C. Pellegrini, M. Hilario. An Architecture for Musical Score Recognition using High-Level Domain Knowledge. Proceedings of the Fourth International Conferences on Document Analysis and Recognition, IEEE Computer Society, Ulm, 1997."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48159-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T07:31:56Z","timestamp":1629358316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48159-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665489","9783540481591"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48159-1_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}