{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:15:40Z","timestamp":1763968540260,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031456077"},{"type":"electronic","value":"9783031456084"}],"license":[{"start":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T00:00:00Z","timestamp":1700352000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T00:00:00Z","timestamp":1700352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-45608-4_33","type":"book-chapter","created":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T13:03:03Z","timestamp":1700312583000},"page":"442-452","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Hypergraphs in\u00a0Logic Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7673-2046","authenticated-orcid":false,"given":"Juan Carlos","family":"D\u00edaz-Moreno","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3931-5873","authenticated-orcid":false,"given":"Jes\u00fas","family":"Medina","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0940-068X","authenticated-orcid":false,"given":"Jos\u00e9 R.","family":"Portillo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,19]]},"reference":[{"key":"33_CR1","volume-title":"Graphs and Hypergraphs","author":"C Berge","year":"1985","unstructured":"Berge, C.: Graphs and Hypergraphs. Elsevier Science Ltd., Amsterdam (1985)"},{"key":"33_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-319-91479-4_45","volume-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications","author":"ME Cornejo","year":"2018","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Characterizing fuzzy y-models in\u00a0multi-adjoint normal logic programming. In: Medina, J., Ojeda-Aciego, M., Verdegay, J.L., Perfilieva, I., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2018. CCIS, vol. 855, pp. 541\u2013552. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91479-4_45"},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.fss.2017.12.009","volume":"345","author":"ME Cornejo","year":"2018","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Syntax and semantics of multi-adjoint normal logic programming. Fuzzy Sets Syst. 345, 41\u201362 (2018)","journal-title":"Fuzzy Sets Syst."},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.fss.2019.03.016","volume":"388","author":"ME Cornejo","year":"2020","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Extended multi-adjoint logic programming. Fuzzy Sets Syst. 388, 124\u2013145 (2020)","journal-title":"Fuzzy Sets Syst."},{"issue":"6","key":"33_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/math8060881","volume":"8","author":"ME Cornejo","year":"2020","unstructured":"Cornejo, M.E., Lobo, D., Medina, J.: Relating multi-adjoint normal logic programs to core fuzzy answer set programs from a semantical approach. Mathematics 8(6), 1\u201318 (2020). Paper 881","journal-title":"Mathematics"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/j.jal.2006.03.004","volume":"5","author":"C Dam\u00e1sio","year":"2007","unstructured":"Dam\u00e1sio, C., Medina, J., Ojeda-Aciego, M.: Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. 5, 435\u2013458 (2007)","journal-title":"J. Appl. Log."},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-00485-9_6","volume":"796","author":"JC D\u00edaz-Moreno","year":"2019","unstructured":"D\u00edaz-Moreno, J.C., Medina, J., Portillo, J.R.: Towards the use of hypergraphs in multi-adjoint logic programming. Stud. Comput. Intell. 796, 53\u201359 (2019)","journal-title":"Stud. Comput. Intell."},{"key":"33_CR8","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.fss.2022.02.001","volume":"445","author":"JC D\u00edaz-Moreno","year":"2022","unstructured":"D\u00edaz-Moreno, J.C., Medina, J., Portillo, J.R.: Fuzzy logic programs as hypergraphs. Termination results. Fuzzy Sets Syst. 445, 22\u201342 (2022). Logic and Databases","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"33_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MV Emden","year":"1976","unstructured":"Emden, M.V., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"issue":"2\u20133","key":"33_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0166-218X(93)90045-P","volume":"42","author":"G Gallo","year":"1993","unstructured":"Gallo, G., Longo, G., Pallottino, S., Nguyen, S.: Directed hypergraphs and applications. Discrete Appl. Math. 42(2\u20133), 177\u2013201 (1993)","journal-title":"Discrete Appl. Math."},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10462-012-9377-4","volume":"40","author":"H Halpin","year":"2013","unstructured":"Halpin, H., McNeill, F.: Discovering meaning on the go in large heterogenous data. Artif. Intell. Rev. 40, 107\u2013126 (2013)","journal-title":"Artif. Intell. Rev."},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"108510","DOI":"10.1016\/j.fss.2023.03.013","volume":"465","author":"P Juli\u00e1n-Iranzo","year":"2023","unstructured":"Juli\u00e1n-Iranzo, P., Moreno, G., Riaza, J.A.: Some properties of substitutions in the framework of similarity relations. Fuzzy Sets Syst. 465, 108510 (2023)","journal-title":"Fuzzy Sets Syst."},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"118858","DOI":"10.1016\/j.eswa.2022.118858","volume":"213","author":"P Juli\u00e1n-Iranzo","year":"2023","unstructured":"Juli\u00e1n-Iranzo, P., S\u00e1enz-P\u00e9rez, F.: Bousi$$\\sim $$prolog: design and implementation of a proximity-based fuzzy logic programming language. Expert Syst. Appl. 213, 118858 (2023)","journal-title":"Expert Syst. Appl."},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Kulagin, K., Salikhov, M., Burnashev, R.: Designing an educational intelligent system with natural language processing based on fuzzy logic. In: 2023 International Russian Smart Industry Conference (SmartIndustryCon), pp. 690\u2013694 (2023)","DOI":"10.1109\/SmartIndustryCon57312.2023.10110734"},{"issue":"3","key":"33_CR15","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1080\/00207160.2011.580842","volume":"89","author":"N Madrid","year":"2012","unstructured":"Madrid, N., Ojeda-Aciego, M.: On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. 89(3), 310\u2013324 (2012)","journal-title":"Int. J. Comput. Math."},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-45402-0_26","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"J Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojta\u0161, P.: Multi-adjoint logic programming with continous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351\u2013364. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45402-0_26"},{"key":"33_CR17","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.fss.2022.08.014","volume":"456","author":"J Medina","year":"2022","unstructured":"Medina, J., Torn\u00e9-Zambrano, J.A.: Immediate consequences operator on generalized quantifiers. Fuzzy Sets Syst. 456, 72\u201391 (2022)","journal-title":"Fuzzy Sets Syst."},{"key":"33_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-63494-0_45","volume-title":"Inductive Logic Programming","author":"RJ Mooney","year":"1997","unstructured":"Mooney, R.J.: Inductive logic programming for natural language processing. In: Muggleton, S. (ed.) ILP 1996. LNCS, vol. 1314, pp. 1\u201322. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63494-0_45"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Nakamura, K., Ando, T.: A taboo-not in open world assumption for a natural language based logic programming. In: 2022 IEEE International Conference on Big Data (Big Data), pp. 5140\u20135144 (2022)","DOI":"10.1109\/BigData55660.2022.10020810"},{"key":"33_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-030-02849-7_15","volume-title":"Ubiquitous Networking","author":"R Regaieg","year":"2018","unstructured":"Regaieg, R., Koub\u00e0a, M., Osei-Opoku, E., Aguili, T.: A two objective linear programming model for VM placement in heterogenous data centers. In: Boudriga, N., Alouini, M.-S., Rekhis, S., Sabir, E., Pollin, S. (eds.) UNet 2018. LNCS, vol. 11277, pp. 167\u2013178. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02849-7_15"},{"issue":"14","key":"33_CR21","doi-asserted-by":"publisher","first-page":"2160","DOI":"10.3390\/w14142160","volume":"14","author":"M Ren","year":"2022","unstructured":"Ren, M., Zhang, Z., Zhang, J., Mora, L.: Understanding the use of heterogenous data in tackling urban flooding: an integrative literature review. Water 14(14), 2160 (2022)","journal-title":"Water"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-031-31476-6_13","volume-title":"Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems","author":"E Salazar","year":"2023","unstructured":"Salazar, E., Gupta, G.: Proof-theoretic foundations of normal logic programs. In: Lopez-Garcia, P., Gallagher, J.P., Giacobazzi, R. (eds.) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Lecture Notes in Computer Science, vol. 13160, pp. 233\u2013252. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-31476-6_13"},{"issue":"10","key":"33_CR23","doi-asserted-by":"publisher","first-page":"66","DOI":"10.3991\/ijim.v15i10.20613","volume":"15","author":"SA Scherr","year":"2021","unstructured":"Scherr, S.A., Hupp, S., Elberzhager, F.: Establishing continuous app improvement by considering heterogenous data sources. Int. J. Interact. Mob. Technol. (iJIM) 15(10), 66\u201386 (2021)","journal-title":"Int. J. Interact. Mob. Technol. (iJIM)"},{"key":"33_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-030-24781-2_13","volume-title":"End-User Development","author":"A Wachtel","year":"2019","unstructured":"Wachtel, A., Fuch\u00df, D., Przybylla, M., Tichy, W.F.: Natural language data queries on multiple heterogenous data sources. In: Malizia, A., Valtolina, S., Morch, A., Serrano, A., Stratton, A. (eds.) IS-EUD 2019. LNCS, vol. 11553, pp. 174\u2013182. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-24781-2_13"},{"issue":"2","key":"33_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3568955","volume":"24","author":"Y Wang","year":"2023","unstructured":"Wang, Y., Eiter, T., Zhang, Y., Lin, F.: Witnesses for answer sets of logic programs. ACM Trans. Comput. Logic 24(2), 1\u201346 (2023)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45608-4_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T13:07:11Z","timestamp":1700312831000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45608-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,19]]},"ISBN":["9783031456077","9783031456084"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45608-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,19]]},"assertion":[{"value":"19 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSQARU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Symbolic and Quantitative Approaches with Uncertainty","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Arras","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsqaru2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}