{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:10:07Z","timestamp":1750198207968,"version":"3.41.0"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319509525"},{"type":"electronic","value":"9783319509532"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-50953-2_14","type":"book-chapter","created":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T10:07:32Z","timestamp":1491905252000},"page":"187-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abductive Logic Programming for Normative Reasoning and Ontologies"],"prefix":"10.1007","author":[{"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[]},{"given":"Zese","family":"Riccardo","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Cota","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"key":"14_CR1","first-page":"39","volume-title":"Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: Maher, M. (ed.) Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, pp. 39\u201350. ACM Press, New York (2006)"},{"issue":"2\u20134","key":"14_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2\u20134), 133\u2013157 (2006)","journal-title":"Appl. Artif. Intell."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11759683_7","volume-title":"Engineering Societies in the Agents World VI","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in abductive logic programming: a case study. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol. 3963, pp. 106\u2013124. Springer, Heidelberg (2006). doi: 10.1007\/11759683_7"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"29:1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Logic 9(4), 29:1\u201329:43 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-29414-3_17","volume-title":"Logic Programs, Norms and Action","author":"M Alberti","year":"2012","unstructured":"Alberti, M., Gavanelli, M., Lamma, E.: $${\\mathit{Deon}^{+}}$$ : abduction and constraints for normative reasoning. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Logic Programs, Norms and Action. LNCS (LNAI), vol. 7360, pp. 308\u2013328. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29414-3_17"},{"issue":"4","key":"14_CR6","doi-asserted-by":"crossref","first-page":"365","DOI":"10.3233\/FI-2013-839","volume":"124","author":"M Alberti","year":"2013","unstructured":"Alberti, M., Gavanelli, M., Lamma, E.: The CHR-based implementation of the SCIFF abductive system. Fundamenta Informaticae 124(4), 365\u2013381 (2013)","journal-title":"Fundamenta Informaticae"},{"issue":"2\u20133","key":"14_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10588-006-9544-8","volume":"12","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12(2\u20133), 205\u2013225 (2006)","journal-title":"Comput. Math. Organ. Theory"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/S1571-0661(05)82605-2","volume":"85","author":"M Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electr. Notes Theor. Comput. Sci. 85(2), 94\u2013116 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-22359-4_23","volume-title":"Computational Logic in Multi-Agent Systems","author":"M Alberti","year":"2011","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Leite, J., Slota, M.: Normative systems represented as hybrid knowledge bases. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 330\u2013346. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22359-4_23"},{"key":"14_CR10","unstructured":"ALFEBIITE: a logical framework for ethical behaviour between infohabitants in the information trading economy of the universal information ecosystem. IST-1999-10298 (1999)"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"KA Arisha","year":"1999","unstructured":"Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a platform for collaborating agents. IEEE Intell. Syst. 14(2), 64\u201372 (1999)","journal-title":"IEEE Intell. Syst."},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10588-006-9537-7","volume":"12","author":"G Boella","year":"2006","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Comput. Math. Organ. Theory 12, 71\u201379 (2006)","journal-title":"Comput. Math. Organ. Theory"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Attributing mental attitudes to normative systems. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of AAMAS-2003, 14\u201318 July 2003, pp. 942\u2013943. ACM Press (2003)","DOI":"10.1145\/860575.860736"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-31794-4_18","volume-title":"Global Computing","author":"A Bracciali","year":"2005","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340\u2013367. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31794-4_18"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43\u201356. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-25927-5_5"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(94)90027-2","volume":"66","author":"H B\u00fcrckert","year":"1994","unstructured":"B\u00fcrckert, H.: A resolution principle for constrained logics. Artif. Intell. 66, 235\u2013271 (1994)","journal-title":"Artif. Intell."},{"key":"14_CR17","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. In: International Conference on Principles of Knowledge Representation and Reasoning, pp. 70\u201380. AAAI Press (2008)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Symposium on Principles of Database Systems, pp. 77\u201386. ACM (2009)","DOI":"10.1145\/1559795.1559809"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Tractable query answering over ontologies with Datalog $$^\\pm $$ . In: International Workshop on Description Logics, CEUR Workshop Proceedings, vol. 477. CEUR-WS.org (2009)","DOI":"10.1007\/978-3-642-04329-1_12"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"issue":"5","key":"14_CR21","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L Console","year":"1991","unstructured":"Console, L., Theseider Dupr\u00e9, D., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1(5), 661\u2013690 (1991)","journal-title":"J. Logic Comput."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"De Vos, M., Padget, J., Satoh, K.: Legal modelling and reasoning using institutions. In: Onada et al. [42], pp. 129\u2013140 (2010)","DOI":"10.1007\/978-3-642-25655-4_12"},{"issue":"2","key":"14_CR23","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M Denecker","year":"1998","unstructured":"Denecker, M., De Schreye, D.: SLDNFA: an abductive procedure for abductive logic programs. J. Logic Program. 34(2), 111\u2013167 (1998)","journal-title":"J. Logic Program."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H.: Towards an organizational model for agent societies using contracts. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS-2002, 15\u201319 July 2002, pp. 694\u2013695. ACM Press, Bologna, Italy (2002)","DOI":"10.1145\/544862.544909"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H., Dignum, F.: An organizational-oriented model for agent societies. In: Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, AAMAS 2002, Bologna (2002)","DOI":"10.1145\/544904.544909"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Du, J., Wang, K., Shen, Y.D.: A tractable approach to ABox abduction over description logic ontologies. In: Brodley, C., Stone, P. (eds.) Proceedings of AAAI 2014 (2014)","DOI":"10.1609\/aaai.v28i1.8852"},{"issue":"1\u20132","key":"14_CR27","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: semantics. Artif. Intell. 108(1\u20132), 179\u2013255 (1999)","journal-title":"Artif. Intell."},{"key":"14_CR28","unstructured":"ESTRELLA: European project for standardized transparent representations in order to extend legal accessibility. IST-2004-027655 (2004). http:\/\/www.estrellaproject.org"},{"issue":"2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"TH Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. J. Logic Program. 33(2), 151\u2013165 (1997)","journal-title":"J. Logic Program."},{"key":"14_CR30","unstructured":"Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R., Cota, G.: An abductive framework for Datalog $$^\\pm $$ ontologies. In: Eiter, T., Toni, F. (eds.) Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). CEUR Workshop Proceedings, Sun SITE Central Europe, Aachen, Germany (2015)"},{"key":"14_CR31","series-title":"CEUR Workshop Proceedings","first-page":"128","volume-title":"Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1\u20133 July 2015","author":"M Gavanelli","year":"2015","unstructured":"Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R., Cota, G.: Abductive logic programming for Datalog $$^\\pm $$ ontologies. In: Ancona, D., Maratea, M., Mascardi, V. (eds.) Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1\u20133 July 2015. CEUR Workshop Proceedings, vol. 1459, pp. 128\u2013143. Sun SITE Central Europe, Aachen (2015)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-23580-1_7","volume-title":"Web Reasoning and Rule Systems","author":"G Gottlob","year":"2011","unstructured":"Gottlob, G., Lukasiewicz, T., Simari, G.I.: Conjunctive query answering in probabilistic datalog+\/\u2013 ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 77\u201392. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23580-1_7"},{"issue":"1","key":"14_CR33","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton. Agents Multi-agent Syst. 17(1), 36\u201369 (2008)","journal-title":"Auton. Agents Multi-agent Syst."},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. Logic Program. 19\u201320, 503\u2013582 (1994)","journal-title":"J. Logic Program."},{"issue":"6","key":"14_CR35","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Logic Comput. 2(6), 719\u2013770 (1993)","journal-title":"J. Logic Comput."},{"key":"14_CR36","unstructured":"Kakas, A.C., Mancarella, P.: On the relation between truth maintenance and abduction. In: Fukumura, T. (ed.) Proceedings of PRICAI-90. Ohmsha Ltd. (1990)"},{"key":"14_CR37","unstructured":"Kakas, A.C., van Nuffelen, B., Denecker, M.: $${\\cal{A}}$$ -System: problem solving through abduction. In: Nebel, B. (ed.) Proceedings of IJCAI-01 (2001)"},{"issue":"1","key":"14_CR38","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S Klarman","year":"2011","unstructured":"Klarman, S., Endriss, U., Schlobach, S.: ABox abduction in the description logic $$\\cal{ALC}$$ . J. Autom. Reason. 46(1), 43\u201380 (2011)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"14_CR39","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J Lloyd","year":"1984","unstructured":"Lloyd, J., Topor, R.: Making prolog more expressive. J. Logic Program. 1(3), 225\u2013240 (1984)","journal-title":"J. Logic Program."},{"key":"14_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"14_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-89982-2_39","volume-title":"Logic Programming","author":"M Montali","year":"2008","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from declarative specifications using logic programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 440\u2013454. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89982-2_39"},{"key":"14_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","volume-title":"New Frontiers in Artificial Intelligence","year":"2011","unstructured":"Onada, T., Bekki, D., McCready, E. (eds.): JSAI-isAI 2010. LNCS (LNAI), vol. 6797. Springer, Heidelberg (2011)"},{"issue":"1","key":"14_CR43","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-classical Logics 7(1), 25\u201375 (1997)","journal-title":"J. Appl. Non-classical Logics"},{"issue":"2\u20133","key":"14_CR44","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10588-006-9539-5","volume":"12","author":"F Sadri","year":"2006","unstructured":"Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Comput. Math. Organ. Theory 12(2\u20133), 101\u2013126 (2006)","journal-title":"Comput. Math. Organ. Theory"},{"key":"14_CR45","series-title":"Law, Governance and Technology,","volume-title":"Approaches to Legal Ontologies","year":"2011","unstructured":"Sartor, G., Casanovas, P., Biasiotti, M.A., Fern\u00e1ndez-Barrera, M. (eds.): Approaches to Legal Ontologies. Law, Governance and Technology, Springer, Netherlands (2011)"},{"key":"14_CR46","doi-asserted-by":"crossref","unstructured":"Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.: PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: Onada et al. [42], pp. 153\u2013164 (2010)","DOI":"10.1007\/978-3-642-25655-4_14"},{"key":"14_CR47","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British nationality act as a logic program. Commun. ACM 29, 370\u2013386 (1986)","journal-title":"Commun. ACM"},{"key":"14_CR48","volume-title":"Proceedings of Fourteenth International Conference on Logic Programming","author":"K Belleghem Van","year":"1997","unstructured":"Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Naish, L. (ed.) Proceedings of Fourteenth International Conference on Logic Programming. MIT Press, Cambridge (1997)"},{"key":"14_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright","year":"1951","unstructured":"Wright, G.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50953-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:50:10Z","timestamp":1750197010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50953-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319509525","9783319509532"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50953-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"12 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kanagawa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/isai2015\/ws2015","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}