{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:38:35Z","timestamp":1755999515466,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030185756"},{"type":"electronic","value":"9783030185763"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-18576-3_45","type":"book-chapter","created":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T08:05:29Z","timestamp":1556006729000},"page":"760-776","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["MathGraph: A Knowledge Graph for Automatically Solving Mathematical Exercises"],"prefix":"10.1007","author":[{"given":"Tianyu","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Yan","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Songfan","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Yuyu","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Jianhua","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Haitao","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Kang","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Kaiyu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Haoda","family":"Li","sequence":"additional","affiliation":[]},{"given":"Fu","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,24]]},"reference":[{"issue":"3","key":"45_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/3182657","volume":"51","author":"R Baldoni","year":"2018","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 50 (2018)","journal-title":"ACM Comput. Surv."},{"key":"45_CR2","unstructured":"Carlson, A., Betteridge, J., Kisiel, B., Settles, B., Hruschka Jr., E.R., Mitchell, T.M.: Toward an architecture for never-ending language learning. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence (AAAI 2010), vol. 5, p. 3. Atlanta (2010)"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM (1977)","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s41019-018-0064-6","volume":"3","author":"I Dongo","year":"2018","unstructured":"Dongo, I., Cardinale, Y., Chbeir, R.: RDF-F: RDF datatype inferring framework. Data Sci. Eng. 3(2), 115\u2013135 (2018)","journal-title":"Data Sci. Eng."},{"key":"45_CR5","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-1-4613-0241-4_12","volume-title":"High Performance Algorithms and Software for Nonlinear Optimization","author":"R Fletcher","year":"2003","unstructured":"Fletcher, R., Leyffer, S.: Filter-type algorithms for solving systems of algebraic equations and inequalities. In: Di Pillo, G., Murli, A. (eds.) High Performance Algorithms and Software for Nonlinear Optimization, pp. 265\u2013284. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-1-4613-0241-4_12"},{"issue":"2","key":"45_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10817-016-9377-1","volume":"58","author":"M Ganesalingam","year":"2017","unstructured":"Ganesalingam, M., Gowers, W.T.: A fully automatic theorem prover with human-style output. J. Autom. Reason. 58(2), 253\u2013291 (2017)","journal-title":"J. Autom. Reason."},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Guu, K., Miller, J., Liang, P.: Traversing knowledge graphs in vector space. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, 17\u201321 September 2015, pp. 318\u2013327 (2015)","DOI":"10.18653\/v1\/D15-1038"},{"key":"45_CR8","unstructured":"Mathematica, Version 11.3. Wolfram Research, Inc., Champaign (2018)"},{"issue":"7","key":"45_CR9","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"45_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1007\/11553939_181","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"T Kojiri","year":"2005","unstructured":"Kojiri, T., Hosono, S., Watanabe, T.: Automatic generation of answers using solution network for mathematical exercises. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3683, pp. 1303\u20131309. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11553939_181"},{"issue":"4","key":"45_CR11","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s41019-018-0074-4","volume":"3","author":"K Li","year":"2018","unstructured":"Li, K., Li, G.: Approximate query processing: what is new and where to go? Data Sci. Eng. 3(4), 379\u2013397 (2018)","journal-title":"Data Sci. Eng."},{"issue":"4","key":"45_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s41019-018-0082-4","volume":"3","author":"P Lin","year":"2018","unstructured":"Lin, P., Song, Q., Wu, Y.: Fact checking in knowledge graphs with ontological subgraph patterns. Data Sci. Eng. 3(4), 341\u2013358 (2018)","journal-title":"Data Sci. Eng."},{"key":"45_CR13","doi-asserted-by":"publisher","first-page":"e103","DOI":"10.7717\/peerj-cs.103","volume":"3","author":"A Meurer","year":"2017","unstructured":"Meurer, A., et al.: SymPy: symbolic computing in Python. PeerJ Comput. Sci. 3, e103 (2017)","journal-title":"PeerJ Comput. Sci."},{"key":"45_CR14","unstructured":"Neo4j, Inc.: Neo4j, Version 1.1.12. https:\/\/neo4j.com\/"},{"issue":"6","key":"45_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0041-5553(64)90079-5","volume":"4","author":"BT Polyak","year":"1964","unstructured":"Polyak, B.T.: Gradient methods for solving equations and inequalities. USSR Comput. Math. Math. Phys. 4(6), 17\u201332 (1964)","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36388-2_16","volume-title":"Practical Aspects of Declarative Languages","author":"AP Tom\u00e1s","year":"2003","unstructured":"Tom\u00e1s, A.P., Leal, J.P.: A CLP-based tool for computer aided generation and solving of maths exercises. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 223\u2013240. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36388-2_16"},{"key":"45_CR17","doi-asserted-by":"crossref","unstructured":"Toutanova, K., Lin, V., Yih, W.t., Poon, H., Quirk, C.: Compositional learning of embeddings for relation paths in knowledge base and text. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), vol. 1, pp. 1434\u20131444 (2016)","DOI":"10.18653\/v1\/P16-1136"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Dai, H., Kozareva, Z., Smola, A.J., Song, L.: Variational reasoning for question answering with knowledge graph. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), pp. 6069\u20136076 (2018)","DOI":"10.1609\/aaai.v32i1.12057"},{"issue":"11","key":"45_CR19","doi-asserted-by":"publisher","first-page":"1373","DOI":"10.14778\/3236187.3236192","volume":"11","author":"W Zheng","year":"2018","unstructured":"Zheng, W., Yu, J.X., Zou, L., Cheng, H.: Question answering over knowledge graphs: question understanding via template decomposition. Proc. VLDB Endow. 11(11), 1373\u20131386 (2018)","journal-title":"Proc. VLDB Endow."}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-18576-3_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:01:48Z","timestamp":1710334908000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-18576-3_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030185756","9783030185763"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-18576-3_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"24 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DASFAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database Systems for Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chiang Mai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dasfaa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dasfaa2019.eng.cmu.ac.th\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"CMT","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"501","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"92","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13 demo papers, 6 tutorial papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}