{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T11:05:51Z","timestamp":1746529551752,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030030131"},{"type":"electronic","value":"9783030030148"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-03014-8_3","type":"book-chapter","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T16:12:33Z","timestamp":1540397553000},"page":"32-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Computing Logic Programming Semantics in Linear Algebra"],"prefix":"10.1007","author":[{"given":"Hien D.","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Chiaki","family":"Sakama","sequence":"additional","affiliation":[]},{"given":"Taisuke","family":"Sato","sequence":"additional","affiliation":[]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,25]]},"reference":[{"key":"3_CR1","unstructured":"Saraswat, V.: Reasoning 2.0 or machine learning and logic\u2013the beginnings of a new computer science. Data Science Day, Kista Sweden (2016)"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1017\/S1471068417000023","volume":"17","author":"T Sato","year":"2017","unstructured":"Sato, T.: A linear algebraic approach to Datalog evaluation. Theory Pract. Log. Program. 17(3), 244\u2013265 (2017)","journal-title":"Theory Pract. Log. Program."},{"key":"3_CR3","unstructured":"Yang, B., Yih, W., He, X., Gao, J., Deng, L.: Embedding entities and relations for learning and inference in knowledge bases. In: Third International Conference on Learning Representations (ICLR 2015), San Diego, USA (2015)"},{"key":"3_CR4","unstructured":"Grefenstette, E.: Towards a formal distributional semantics: simulating logical calculi with tensors. In: Proceedings of Second Joint Conference on Lexical and Computational Semantics (*SEM), vol. 1, pp. 1\u201310, Atlanta, USA (2013)"},{"key":"3_CR5","first-page":"345","volume":"36","author":"B Coecke","year":"2011","unstructured":"Coecke, B., Sadrzadeh, M., Clarky, S.: Mathematical foundations for a compositional distributional model of meaning. Linguist. Anal. 36, 345\u2013384 (2011)","journal-title":"Linguist. Anal."},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-49130-1_25","volume-title":"AI*IA 2016 Advances in Artificial Intelligence","author":"L Serafini","year":"2016","unstructured":"Serafini, L., d\u2019Avila Garcez, A.S.: Learning and reasoning with logic tensor networks. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 334\u2013348. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-49130-1_25"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Serafini, L., Donadello, I., Garcez, A.: Learning and reasoning with logic tensor networks: theory and application to semantic image interpretation. In: Proceedings of 32nd ACM SIGAPP Symposium on Applied Computing (SAC 2017), pp. 125\u2013130, Marrakech, Morocco (2017)","DOI":"10.1145\/3019612.3019642"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-319-63558-3_44","volume-title":"Knowledge Science, Engineering and Management","author":"C Sakama","year":"2017","unstructured":"Sakama, C., Inoue, K., Sato, T.: Linear algebraic characterization of logic programs. In: Li, G., Ge, Y., Zhang, Z., Jin, Z., Blumenstein, M. (eds.) KSEM 2017. LNCS (LNAI), vol. 10412, pp. 520\u2013533. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63558-3_44"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1137\/07070111X","volume":"51","author":"T Kolda","year":"2009","unstructured":"Kolda, T., Bader, B.: Tensor decompositions and applications. SIAM Rev. 51(3), 455\u2013500 (2009)","journal-title":"SIAM Rev."},{"key":"3_CR11","unstructured":"Lin, F.: From satisfiability to linear algebra. In: Invited Talk, 26th Australian Joint Conference on Artificial Intelligence (2013)"},{"issue":"1\u20133","key":"3_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"JJ Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. J. Logic Program. 45(1\u20133), 43\u201370 (2000)","journal-title":"J. Logic Program."},{"issue":"3\u20134","key":"3_CR13","first-page":"449","volume":"8","author":"JA Fernandez","year":"1993","unstructured":"Fernandez, J.A., Lobo, J., Minker, J., Subrahmanian, V.S.: Disjunctive LP + integrity constraints = stable model semantics. AMAI 8(3\u20134), 449\u2013474 (1993)","journal-title":"AMAI"},{"key":"3_CR14","unstructured":"Maple. \nhttps:\/\/www.maplesoft.com\/support\/install\/maple2017_install.html"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"WF Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Logic Program. 1(3), 267\u2013284 (1984)","journal-title":"J. Logic Program."},{"key":"3_CR16","unstructured":"Clasp. \nhttps:\/\/potassco.org\/clasp\/"},{"key":"3_CR17","unstructured":"DLV system. \nhttp:\/\/www.dlvsystem.com\/dlv\/"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Sakama, C., Nguyen, H.D., Sato, T., Inoue, K.: Partial evaluation of logic programs in vector space. In: 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), Oxford, UK, July 2018","DOI":"10.29007\/9d61"}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03014-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T16:14:22Z","timestamp":1540397662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03014-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030030131","9783030030148"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03014-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MIWAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Multi-disciplinary Trends in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hanoi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"miwai2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/khamreang.msu.ac.th\/miwai18\/index.html","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"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"65","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"9","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"25% - 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"}},{"value":"3,09","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2,45","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}