{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:39:21Z","timestamp":1770885561617,"version":"3.50.1"},"reference-count":97,"publisher":"Springer Science and Business Media LLC","issue":"35","license":[{"start":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T00:00:00Z","timestamp":1728086400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T00:00:00Z","timestamp":1728086400000},"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":["Neural Comput & Applic"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s00521-024-10365-1","type":"journal-article","created":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T03:31:49Z","timestamp":1728099109000},"page":"22081-22118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Monadic Second-Order Temporal Logic framework for hypergraphs"],"prefix":"10.1007","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5373-8912","authenticated-orcid":false,"given":"Bikram Pratim","family":"Bhuyan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. P.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Tomar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yassine","family":"Meraihi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amar","family":"Ramdane-Cherif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,5]]},"reference":[{"key":"10365_CR1","doi-asserted-by":"crossref","DOI":"10.1016\/j.ese.2023.100330","volume":"19","author":"SE Bibri","year":"2024","unstructured":"Bibri SE, Krogstie J, Kaboli A, Alahi A (2024) Smarter eco-cities and their leading-edge artificial intelligence of things solutions for environmental sustainability: a comprehensive systematic review. Environ Sci Ecotechnol 19:100330","journal-title":"Environ Sci Ecotechnol"},{"issue":"7","key":"10365_CR2","doi-asserted-by":"crossref","first-page":"20699","DOI":"10.1007\/s11042-023-16328-3","volume":"83","author":"N Saeed","year":"2024","unstructured":"Saeed N, Malik H, Naeem A, Bashir U (2024) Incorporating big data and IoT in intelligent ecosystems: state-of-the-arts, challenges and opportunities, and future directions. Multimed Tools Appl 83(7):20699\u201320741","journal-title":"Multimed Tools Appl"},{"key":"10365_CR3","doi-asserted-by":"crossref","first-page":"4050","DOI":"10.1109\/TKDE.2024.3363711","volume":"36","author":"K Wang","year":"2024","unstructured":"Wang K, Wu H, Zhang G, Fang J, Liang Y, Wu Y, Zimmermann R, Wang Y (2024) Modeling spatio-temporal dynamical systems with neural discrete learning and levels-of-experts. IEEE Trans Knowl Data Eng 36:4050","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"10365_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/s44159-024-00294-0","volume":"3","author":"RN Denison","year":"2024","unstructured":"Denison RN (2024) Visual temporal attention from perception to computation. Nat Rev Psychol 3:1\u201314","journal-title":"Nat Rev Psychol"},{"key":"10365_CR5","volume":"457","author":"L An","year":"2021","unstructured":"An L, Grimm V, Sullivan A, Turner Ii B, Malleson N, Heppenstall A, Vincenot C, Robinson D, Ye X, Liu J et al (2021) Challenges, tasks, and opportunities in modeling agent-based complex systems. Ecol Model 457:109685","journal-title":"Ecol Model"},{"key":"10365_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/9781009170093","volume-title":"Temporal Logics","author":"V Goranko","year":"2023","unstructured":"Goranko V (2023) Temporal Logics. Cambridge University Press, Cambridge"},{"issue":"11","key":"10365_CR7","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843","journal-title":"Commun ACM"},{"key":"10365_CR8","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J Allen","year":"1984","unstructured":"Allen J (1984) Towards a general theory of action and time. Artif Intell 23:123","journal-title":"Artif Intell"},{"issue":"5","key":"10365_CR9","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"JF Allen","year":"1994","unstructured":"Allen JF, Ferguson G (1994) Actions and events in interval temporal logic. J Log Comput 4(5):531\u2013579","journal-title":"J Log Comput"},{"key":"10365_CR10","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA (1992) Logics and models of real time: a survey. In: Real-time: theory in practice: REX Workshop Mook, The Netherlands, June 3\u20137, 1991 Proceedings, Springer, pp 74\u2013106","DOI":"10.1007\/BFb0031988"},{"key":"10365_CR11","doi-asserted-by":"crossref","unstructured":"Ben-Ari M, Manna Z, Pnueli A (1981) The temporal logic of branching time. In: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on principles of programming languages, pp 164\u2013176","DOI":"10.1145\/567532.567551"},{"key":"10365_CR12","volume-title":"Temporal and modal logic","author":"EA Emerson","year":"1990","unstructured":"Emerson EA (1990) Formal models and semantics. Temporal and modal logic. Elsevier, Amsterdam"},{"key":"10365_CR13","doi-asserted-by":"crossref","unstructured":"Emerson EA, Sistla AP (1984) Deciding branching time logic. In: Proceedings of the Sixteenth Annual ACM symposium on theory of computing, pp 14\u201324","DOI":"10.1145\/800057.808661"},{"key":"10365_CR14","unstructured":"Schilling C, Lukina A, Demirovi\u0107 E, Larsen K (2023) Safety verification of decision-tree policies in continuous time. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, pp 14750\u201314769"},{"key":"10365_CR15","volume-title":"Tense logic and the theory of linear order","author":"JAW Kamp","year":"1968","unstructured":"Kamp JAW (1968) Tense logic and the theory of linear order. University of California, Los Angeles"},{"key":"10365_CR16","doi-asserted-by":"crossref","first-page":"2","DOI":"10.3765\/sp.10.2","volume":"10","author":"H Kamp","year":"2017","unstructured":"Kamp H (2017) Events, discourse representations and temporal reference. Semant Pragmat 10:2\u20131","journal-title":"Semant Pragmat"},{"key":"10365_CR17","doi-asserted-by":"crossref","DOI":"10.1016\/j.ipl.2024.106480","volume":"186","author":"DP Guelev","year":"2024","unstructured":"Guelev DP, Moszkowski B (2024) Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. Inf Process Lett 186:106480","journal-title":"Inf Process Lett"},{"issue":"2","key":"10365_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1093\/logcom\/exq020","volume":"21","author":"S Babenyshev","year":"2011","unstructured":"Babenyshev S, Rybakov V (2011) Linear temporal logic LTL: basis for admissible rules. J Log Comput 21(2):157\u2013177","journal-title":"J Log Comput"},{"issue":"2","key":"10365_CR19","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.cosrev.2010.06.002","volume":"5","author":"KY Rozier","year":"2011","unstructured":"Rozier KY (2011) Linear temporal logic symbolic model checking. Comput Sci Rev 5(2):163\u2013203","journal-title":"Comput Sci Rev"},{"key":"10365_CR20","unstructured":"De\u00a0Giacomo G, Vardi MY, et al (2013) Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI, vol 13, pp 854\u2013860"},{"key":"10365_CR21","doi-asserted-by":"crossref","unstructured":"Nayak SP, Neider D, Roy R, Zimmermann M (2024) Robust computation tree logic. Innov Syst Softw Eng 1\u201323","DOI":"10.1007\/s11334-024-00552-7"},{"issue":"3","key":"10365_CR22","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M Reynolds","year":"2001","unstructured":"Reynolds M (2001) An axiomatization of full computation tree logic. J Symb Log 66(3):1011\u20131057","journal-title":"J Symb Log"},{"key":"10365_CR23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-24611-4_5","volume-title":"Validation of stochastic systems: a guide to current research","author":"F Ciesinski","year":"2004","unstructured":"Ciesinski F, Gr\u00f6\u00dfer M (2004) On probabilistic computation tree logic. Validation of stochastic systems: a guide to current research. Springer, New York, pp 147\u2013188"},{"key":"10365_CR24","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-18088-5_22","volume-title":"International colloquium on automata, languages, and programming","author":"T Hafer","year":"1987","unstructured":"Hafer T, Thomas W (1987) Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree. International colloquium on automata, languages, and programming. Springer, New York, pp 269\u2013279"},{"key":"10365_CR25","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110692","volume":"152","author":"N Mehdipour","year":"2023","unstructured":"Mehdipour N, Althoff M, Tebbens RD, Belta C (2023) Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges. Automatica 152:110692","journal-title":"Automatica"},{"issue":"2","key":"10365_CR26","doi-asserted-by":"crossref","first-page":"3788","DOI":"10.1002\/ett.3788","volume":"31","author":"A Souri","year":"2020","unstructured":"Souri A, Norouzi M, Asghari P, Rahmani AM, Emadi G (2020) A systematic literature review on formal verification of software-defined networks. Trans Emerg Telecommun Technol 31(2):3788","journal-title":"Trans Emerg Telecommun Technol"},{"issue":"1","key":"10365_CR27","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1038\/s42005-022-00858-7","volume":"5","author":"QF Lotito","year":"2022","unstructured":"Lotito QF, Musciotto F, Montresor A, Battiston F (2022) Higher-order motif analysis in hypergraphs. Commun Phys 5(1):79","journal-title":"Commun Phys"},{"issue":"2","key":"10365_CR28","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/s00607-023-01230-5","volume":"106","author":"QF Lotito","year":"2024","unstructured":"Lotito QF, Musciotto F, Battiston F, Montresor A (2024) Exact and sampling methods for mining higher-order motifs in large hypergraphs. Computing 106(2):475\u2013494","journal-title":"Computing"},{"issue":"28","key":"10365_CR29","doi-asserted-by":"crossref","first-page":"9159","DOI":"10.1126\/sciadv.adg9159","volume":"9","author":"N Ruggeri","year":"2023","unstructured":"Ruggeri N, Contisciani M, Battiston F, De Bacco C (2023) Community detection in large hypergraphs. Sci Adv 9(28):9159","journal-title":"Sci Adv"},{"issue":"1","key":"10365_CR30","doi-asserted-by":"crossref","first-page":"6223","DOI":"10.1038\/s41467-023-41887-2","volume":"14","author":"M Mancastroppa","year":"2023","unstructured":"Mancastroppa M, Iacopini I, Petri G, Barrat A (2023) Hyper-cores promote localization and efficient seeding in higher-order processes. Nat Commun 14(1):6223","journal-title":"Nat Commun"},{"issue":"2","key":"10365_CR31","first-page":"221","volume":"19","author":"A Santoro","year":"2023","unstructured":"Santoro A, Battiston F, Petri G, Amico E (2023) Higher-order organization of multivariate time series. Nat Phys 19(2):221\u2013229","journal-title":"Nat Phys"},{"issue":"3","key":"10365_CR32","doi-asserted-by":"crossref","DOI":"10.1103\/PhysRevLett.132.037401","volume":"132","author":"L Di Gaetano","year":"2024","unstructured":"Di Gaetano L, Battiston F, Starnini M (2024) Percolation and topological properties of temporal higher-order networks. Phys Rev Lett 132(3):037401","journal-title":"Phys Rev Lett"},{"key":"10365_CR33","first-page":"1","volume":"42","author":"X Tang","year":"2024","unstructured":"Tang X, Chen L, Shi H, Lyu D (2024) Dhyper: a recurrent dual hypergraph neural network for event prediction in temporal knowledge graphs. ACM Trans Inf Syst 42:1","journal-title":"ACM Trans Inf Syst"},{"key":"10365_CR34","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.neunet.2023.07.006","volume":"166","author":"C Tian","year":"2023","unstructured":"Tian C, Zhang Z, Yao F, Guo Z, Yan S, Sun X (2023) Tackling higher-order relations and heterogeneity: dynamic heterogeneous hypergraph network for spatiotemporal activity prediction. Neural Netw 166:70\u201384","journal-title":"Neural Netw"},{"key":"10365_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00521-021-06389-6","volume":"36","author":"BP Bhuyan","year":"2024","unstructured":"Bhuyan BP, Ramdane-Cherif A, Tomar R, Singh T (2024) Neuro-symbolic artificial intelligence: a survey. Neural Comput Appl 36:1\u201336","journal-title":"Neural Comput Appl"},{"key":"10365_CR36","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511977619","volume-title":"Graph structure and monadic second-order logic: a language-theoretic approach","author":"B Courcelle","year":"2012","unstructured":"Courcelle B, Engelfriet J (2012) Graph structure and monadic second-order logic: a language-theoretic approach. Cambridge University Press, Cambridge"},{"issue":"1\u20133","key":"10365_CR37","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.apal.2004.01.007","volume":"130","author":"M Frick","year":"2004","unstructured":"Frick M, Grohe M (2004) The complexity of first-order and monadic second-order logic revisited. Ann Pure Appl Log 130(1\u20133):3\u201331","journal-title":"Ann Pure Appl Log"},{"key":"10365_CR38","doi-asserted-by":"crossref","unstructured":"Courcelle B (2009) Monadic second-order logic for graphs: algorithmic and language theoretical applications. In: International conference on language and automata theory and applications, Springer, pp 19\u201322","DOI":"10.1007\/978-3-642-00982-2_2"},{"key":"10365_CR39","doi-asserted-by":"crossref","unstructured":"Fatemi B, Taslakian P, Vazquez D, Poole D (2019) Knowledge hypergraphs: prediction beyond binary relations. Preprint at arXiv:1906.00137","DOI":"10.24963\/ijcai.2020\/303"},{"issue":"1","key":"10365_CR40","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s12190-023-01965-6","volume":"70","author":"A Banerjee","year":"2024","unstructured":"Banerjee A, Amanathulla S (2024) Optimization of disaster management using split domination in picture fuzzy graphs. J Appl Math Comput 70(1):435\u2013459","journal-title":"J Appl Math Comput"},{"issue":"7","key":"10365_CR41","doi-asserted-by":"crossref","first-page":"5255","DOI":"10.1007\/s10462-021-10020-4","volume":"54","author":"S Amanathulla","year":"2021","unstructured":"Amanathulla S, Bera B, Pal M (2021) Balanced picture fuzzy graph with application. Artif Intell Rev 54(7):5255\u20135281","journal-title":"Artif Intell Rev"},{"issue":"04","key":"10365_CR42","doi-asserted-by":"publisher","first-page":"2350009","DOI":"10.1142\/S1752890923500095","volume":"16","author":"B Bera","year":"2023","unstructured":"Bera B, Amanathulla S, Mahato SK (2023) A comprehensive study of picture fuzzy planar graphs with real-world applications. J Uncertain Syst 16(04):2350009. https:\/\/doi.org\/10.1142\/S1752890923500095","journal-title":"J Uncertain Syst"},{"key":"10365_CR43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JIFS-233595","volume":"46","author":"J Khatun","year":"2024","unstructured":"Khatun J, Amanathulla S, Pal M (2024) Picture fuzzy cubic graphs and their applications. J Intell Fuzzy Syst 46:1\u201318","journal-title":"J Intell Fuzzy Syst"},{"issue":"1","key":"10365_CR44","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/JIFS-182929","volume":"40","author":"H Rashmanlou","year":"2021","unstructured":"Rashmanlou H, Muhiuddin G, Amanathulla S, Mofidnakhaei F, Pal M (2021) A study on cubic graphs with novel application. J Intell Fuzzy Syst 40(1):89\u2013101","journal-title":"J Intell Fuzzy Syst"},{"key":"10365_CR45","unstructured":"Xie Q, Zhou J, Peng Y, Wang F (2023) Factreranker: fact-guided reranker for faithful radiology report summarization. Preprint at arXiv:2303.08335"},{"key":"10365_CR46","doi-asserted-by":"crossref","first-page":"5301","DOI":"10.1007\/s00521-020-05319-2","volume":"33","author":"E Inan","year":"2021","unstructured":"Inan E (2021) Somun: entity-centric summarization incorporating pre-trained language models. Neural Comput Appl 33:5301\u20135311","journal-title":"Neural Comput Appl"},{"key":"10365_CR47","doi-asserted-by":"crossref","unstructured":"Choo H, Shin K (2022) On the persistence of higher-order interactions in real-world hypergraphs. In: Proceedings of the 2022 SIAM International conference on data mining (SDM), SIAM, pp 163\u2013171","DOI":"10.1137\/1.9781611977172.19"},{"issue":"7","key":"10365_CR48","doi-asserted-by":"crossref","first-page":"3262","DOI":"10.1109\/TIP.2012.2190083","volume":"21","author":"J Yu","year":"2012","unstructured":"Yu J, Tao D, Wang M (2012) Adaptive hypergraph learning and its application in image classification. IEEE Trans Image Process 21(7):3262\u20133272","journal-title":"IEEE Trans Image Process"},{"key":"10365_CR49","doi-asserted-by":"crossref","first-page":"56","DOI":"10.3389\/fphy.2014.00056","volume":"2","author":"Z Bian","year":"2014","unstructured":"Bian Z, Chudak F, Israel R, Lackey B, Macready WG, Roy A (2014) Discrete optimization using quantum annealing on sparse Ising models. Front Phys 2:56","journal-title":"Front Phys"},{"key":"10365_CR50","doi-asserted-by":"crossref","unstructured":"Liu Y, Ma J, Li P (2022) Neural predicting higher-order patterns in temporal networks. In: Proceedings of the ACM web conference 2022, pp 1340\u20131351","DOI":"10.1145\/3485447.3512181"},{"key":"10365_CR51","unstructured":"\u00c7ataly\u00fcrek \u00dcV, Aykanat C (2011) PaToH (Partitioning Tool for Hypergraphs)"},{"key":"10365_CR52","doi-asserted-by":"crossref","unstructured":"Lai Y, Su Y, Wei L, Chen G, Wang T, Zha D (2023) Multi-view spatial-temporal enhanced hypergraph network for next poi recommendation. In: International conference on database systems for advanced applications, Springer, pp 237\u2013252","DOI":"10.1007\/978-3-031-30672-3_16"},{"key":"10365_CR53","doi-asserted-by":"crossref","unstructured":"Tian Y, Huang X, Niu R, Yu H, Wang P, Sun X (2022) Hypertron: Explicit social-temporal hypergraph framework for multi-agent forecasting. In: IJCAI, pp 1356\u20131362","DOI":"10.24963\/ijcai.2022\/189"},{"issue":"1","key":"10365_CR54","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s41109-023-00555-6","volume":"8","author":"A Failla","year":"2023","unstructured":"Failla A, Citraro S, Rossetti G (2023) Attributed stream hypergraphs: temporal modeling of node-attributed high-order interactions. Appl Netw Sci 8(1):31","journal-title":"Appl Netw Sci"},{"issue":"2","key":"10365_CR55","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1109\/TVCG.2020.3030408","volume":"27","author":"MT Fischer","year":"2020","unstructured":"Fischer MT, Arya D, Streeb D, Seebacher D, Keim DA, Worring M (2020) Visual analytics for temporal hypergraph model exploration. IEEE Trans Visual Comput Graphics 27(2):550\u2013560","journal-title":"IEEE Trans Visual Comput Graphics"},{"key":"10365_CR56","doi-asserted-by":"crossref","unstructured":"Comrie C, Kleinberg J (2021) Hypergraph ego-networks and their temporal evolution. In: 2021 IEEE International conference on data mining (ICDM), IEEE, pp 91\u2013100","DOI":"10.1109\/ICDM51629.2021.00019"},{"key":"10365_CR57","doi-asserted-by":"crossref","unstructured":"Xia L, Huang C, Xu Y, Dai P, Bo L, Zhang X, Chen T (2022) Spatial-temporal sequential hypergraph network for crime prediction with dynamic multiplex relation learning. Preprint at arXiv:2201.02435","DOI":"10.24963\/ijcai.2021\/225"},{"key":"10365_CR58","unstructured":"Yadati N, Nimishakavi M, Yadav P, Nitin V, Louis A, Talukdar P (2019) Hypergcn: Hypergraph convolutional networks for semi-supervised learning and combinatorial optimisation. Preprint at arXiv:1809.02589"},{"key":"10365_CR59","unstructured":"Liu J, Yang C, Lu Z, Chen J, Li Y, Zhang M, Bai T, Fang Y, Sun L, Yu PS, et al (2023) Towards graph foundation models: a survey and beyond. Preprint at arXiv:2310.11829"},{"key":"10365_CR60","unstructured":"Fischer MT (2023) Visual analytics for communication analysis. Universit\u00e4t Konstanz, Konstanz"},{"issue":"1","key":"10365_CR61","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1109\/JIOT.2019.2950213","volume":"7","author":"S Zhang","year":"2019","unstructured":"Zhang S, Ding Z, Cui S (2019) Introducing hypergraph signal processing: theoretical foundation and practical applications. IEEE Internet Things J 7(1):639\u2013660","journal-title":"IEEE Internet Things J"},{"issue":"1","key":"10365_CR62","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/0890-5401(90)90043-H","volume":"85","author":"B Courcelle","year":"1990","unstructured":"Courcelle B (1990) The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Inf Comput 85(1):12\u201375","journal-title":"Inf Comput"},{"issue":"5","key":"10365_CR63","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1080\/00029890.1917.11998310","volume":"24","author":"WH Bussey","year":"1917","unstructured":"Bussey WH (1917) The origin of mathematical induction. Am Math Mon 24(5):199\u2013207","journal-title":"Am Math Mon"},{"key":"10365_CR64","series-title":"II: the monadic second order theory of all countable ordinals","first-page":"1","volume-title":"Decidable theories","author":"JR B\u00fcchi","year":"2006","unstructured":"B\u00fcchi JR (2006) The monadic second order theory of $$\\omega $$1. Decidable theories. II: the monadic second order theory of all countable ordinals. Springer, New York, pp 1\u2013127"},{"key":"10365_CR65","doi-asserted-by":"crossref","unstructured":"Feng Y, You H, Zhang Z, Ji R, Gao Y (2019) Hypergraph neural networks. In: Proceedings of the AAAI conference on artificial intelligence, vol 33, pp 3558\u20133565","DOI":"10.1609\/aaai.v33i01.33013558"},{"issue":"1","key":"10365_CR66","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/s13593-022-00859-4","volume":"43","author":"E Dorr","year":"2023","unstructured":"Dorr E, Hawes JK, Goldstein B, Fargue-Leli\u00e8vre A, Fox-K\u00e4mper R, Specht K, Fede\u0144czak K, Caputo S, Cohen N, Poni\u017cy L et al (2023) Food production and resource use of urban farms and gardens: a five-country study. Agron Sustain Dev 43(1):18","journal-title":"Agron Sustain Dev"},{"issue":"1","key":"10365_CR67","doi-asserted-by":"crossref","first-page":"20220265","DOI":"10.1515\/opag-2022-0265","volume":"9","author":"BP Bhuyan","year":"2024","unstructured":"Bhuyan BP, Tomar R, Singh TP, Ramdane-Cherif A (2024) UrbanAgriKG: a knowledge graph on urban agriculture and its embeddings. Open Agric 9(1):20220265","journal-title":"Open Agric"},{"issue":"15","key":"10365_CR68","doi-asserted-by":"crossref","first-page":"4063","DOI":"10.3390\/su11154063","volume":"11","author":"G Pennisi","year":"2019","unstructured":"Pennisi G, Sany\u00e9-Mengual E, Orsini F, Crepaldi A, Nicola S, Ochoa J, Fernandez JA, Gianquinto G (2019) Modelling environmental burdens of indoor-grown vegetables and herbs as affected by red and blue led lighting. Sustainability 11(15):4063","journal-title":"Sustainability"},{"key":"10365_CR69","unstructured":"INSEE (2022) Statistiques locales\u2014Indicateurs: cartes, donn\u00e9es et graphiques. In: Institut National de la Statistique et des \u00c9tudes \u00c9conomiques. https:\/\/statistiques-locales.insee.fr\/#bbox=-596368,6662922,1684858,1622796&c=indicator &i=pop_depuis_1876.dens &s=2018 &view=map1. Accessed 6 Apr 2022"},{"key":"10365_CR70","unstructured":"Eurostat (2022) Local Administrative Units (LAU)\u2013NUTS\u2014Nomenclature of territorial units for statistics: correspondence table LAU\u2013NUTS 2016, EU-28 and EFTA \/ available Candidate Countries. https:\/\/ec.europa.eu\/eurostat\/web\/nuts\/local-administrative-units. Accessed 6 Apr 2022"},{"key":"10365_CR71","unstructured":"U.S. Census Bureau (2022) U.S. Census Bureau: QuickFacts: New York city, New York. https:\/\/www.census.gov\/quickfacts\/newyorkcitynewyork. Accessed 6 Apr 2022"},{"key":"10365_CR72","unstructured":"Hagberg A, Conway D (2020) Networkx: network analysis with python. https:\/\/networkx.github.io"},{"key":"10365_CR73","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-030-57077-4_10","volume-title":"Programming with TensorFlow: solution for edge computing applications","author":"S Imambi","year":"2021","unstructured":"Imambi S, Prakash KB, Kanagachidambaresan G (2021) Pytorch. Programming with TensorFlow: solution for edge computing applications. Springer, New York, pp 87\u2013104"},{"issue":"12","key":"10365_CR74","first-page":"310","volume":"6","author":"S Sharma","year":"2017","unstructured":"Sharma S, Sharma S, Athaiya A (2017) Activation functions in neural networks. Towards Data Sci 6(12):310\u2013316","journal-title":"Towards Data Sci"},{"key":"10365_CR75","unstructured":"Kipf TN, Welling M (2016) Semi-supervised classification with graph convolutional networks. Preprint at arXiv:1609.02907"},{"key":"10365_CR76","unstructured":"Veli\u010dkovi\u0107 P, Cucurull G, Casanova A, Romero A, Lio P, Bengio Y (2017) Graph attention networks. Preprint at arXiv:1710.10903"},{"issue":"3","key":"10365_CR77","doi-asserted-by":"crossref","first-page":"3181","DOI":"10.1109\/TPAMI.2022.3182052","volume":"45","author":"Y Gao","year":"2022","unstructured":"Gao Y, Feng Y, Ji S, Ji R (2022) Hgnn+: general hypergraph neural networks. IEEE Trans Pattern Anal Mach Intell 45(3):3181\u20133199","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"10365_CR78","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-319-60801-3_27","volume-title":"Geomatic approaches for modeling land change scenarios","author":"H Taud","year":"2018","unstructured":"Taud H, Mas J-F (2018) Multilayer perceptron (MLP). Geomatic approaches for modeling land change scenarios. Springer, New York, pp 451\u2013455"},{"key":"10365_CR79","doi-asserted-by":"crossref","unstructured":"Zhang X, Xu C, Tao D (2020) Context aware graph convolution for skeleton-based action recognition. In: Proceedings of the IEEE\/CVF conference on computer vision and pattern recognition, pp 14333\u201314342","DOI":"10.1109\/CVPR42600.2020.01434"},{"key":"10365_CR80","doi-asserted-by":"crossref","unstructured":"Deng S, Rangwala H, Ning Y (2019) Learning dynamic context graphs for predicting social events. In: Proceedings of the 25th ACM SIGKDD international conference on knowledge discovery & data mining, pp 1007\u20131016","DOI":"10.1145\/3292500.3330919"},{"issue":"1","key":"10365_CR81","first-page":"181","volume":"35","author":"Y Liu","year":"2021","unstructured":"Liu Y, Yang S, Xu Y, Miao C, Wu M, Zhang J (2021) Contextualized graph attention network for recommendation with item knowledge graph. IEEE Trans Knowl Data Eng 35(1):181\u2013195","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"10365_CR82","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2023.122699","volume":"241","author":"C Park","year":"2024","unstructured":"Park C, Ko Y (2024) Query-focused summarization with the context-graph information fusion transformer. Expert Syst Appl 241:122699","journal-title":"Expert Syst Appl"},{"key":"10365_CR83","doi-asserted-by":"crossref","unstructured":"Wang F, Pena-Pena K, Qian W, Arce GR (2024) T-hypergnns: hypergraph neural networks via tensor representations. IEEE Transactions on Neural Networks and Learning Systems","DOI":"10.36227\/techrxiv.21984797.v1"},{"key":"10365_CR84","doi-asserted-by":"crossref","unstructured":"Yan Y, Chen Y, Wang S, Wu H, Cai R (2024) Hypergraph joint representation learning for hypervertices and hyperedges via cross expansion. In: Proceedings of the AAAI conference on artificial intelligence, vol 38, pp 9232\u20139240","DOI":"10.1609\/aaai.v38i8.28775"},{"key":"10365_CR85","unstructured":"Dong Y, Sawin W, Bengio Y (2020) Hnhn: hypergraph networks with hyperedge neurons. Preprint at arXiv:2006.12278"},{"key":"10365_CR86","volume":"147","author":"M Zou","year":"2024","unstructured":"Zou M, Gan Z, Wang Y, Zhang J, Sui D, Guan C, Leng S (2024) Unig-encoder: a universal feature encoder for graph and hypergraph node classification. Pattern Recogn 147:110115","journal-title":"Pattern Recogn"},{"key":"10365_CR87","doi-asserted-by":"crossref","unstructured":"Huang J, Yang J (2021) Unignn: a unified framework for graph and hypergraph neural networks. Preprint at arXiv:2105.00956","DOI":"10.24963\/ijcai.2021\/353"},{"key":"10365_CR88","doi-asserted-by":"crossref","unstructured":"Lin W, Peng X, Yu Z, Jin T (2024) Hypergraph neural architecture search. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol 38, pp 13837\u201313845","DOI":"10.1609\/aaai.v38i12.29290"},{"key":"10365_CR89","doi-asserted-by":"crossref","unstructured":"Kim E-S, Kang WY, On K-W, Heo Y-J, Zhang B-T (2020) Hypergraph attention networks for multimodal learning. In: Proceedings of the IEEE\/CVF conference on computer vision and pattern recognition, pp 14581\u201314590","DOI":"10.1109\/CVPR42600.2020.01459"},{"key":"10365_CR90","unstructured":"Wang M, Zheng D, Ye Z, Gan Q, Li M, Song X, Zhou J, Ma C, Yu L, Gai Y et al (2019) Deep graph library: a graph-centric, highly-performant package for graph neural networks. Preprint at arXiv:1909.01315"},{"key":"10365_CR91","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92913-0","volume-title":"Handbook of semantic web technologies","author":"J Domingue","year":"2011","unstructured":"Domingue J, Fensel D, Hendler JA (2011) Handbook of semantic web technologies. Springer, New York"},{"issue":"1","key":"10365_CR92","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, Van Harmelen F (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Semant 1(1):7\u201326","journal-title":"J Web Semant"},{"issue":"3","key":"10365_CR93","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/SW-130106","volume":"4","author":"C Caracciolo","year":"2013","unstructured":"Caracciolo C, Stellato A, Morshed A, Johannsen G, Rajbhandari S, Jaques Y, Keizer J (2013) The agrovoc linked dataset. Semant Web 4(3):341\u2013348","journal-title":"Semant Web"},{"key":"10365_CR94","doi-asserted-by":"crossref","unstructured":"Henson CA, Pschorr JK, Sheth AP, Thirunarayan K (2009) Semsos: semantic sensor observation service. In: 2009 International symposium on collaborative technologies and systems, IEEE, pp 44\u201353","DOI":"10.1109\/CTS.2009.5067461"},{"issue":"3","key":"10365_CR95","doi-asserted-by":"crossref","first-page":"177","DOI":"10.3233\/SW-2012-0084","volume":"5","author":"E Blomqvist","year":"2014","unstructured":"Blomqvist E (2014) The use of semantic web technologies for decision support-a survey. Semant Web 5(3):177\u2013201","journal-title":"Semant Web"},{"key":"10365_CR96","unstructured":"Ge Y, Hua W, Mei K, Tan J, Xu S, Li Z, Zhang Y, et al (2023) Openagi: When LLM meets domain experts. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, pp 5539\u20135568"},{"key":"10365_CR97","doi-asserted-by":"crossref","DOI":"10.1016\/j.patcog.2024.110596","volume":"154","author":"M Jian","year":"2024","unstructured":"Jian M, Lang L, Guo J, Li Z, Wang T, Wu L (2024) Light dual hypergraph convolution for collaborative filtering. Pattern Recogn 154:110596","journal-title":"Pattern Recogn"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-024-10365-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00521-024-10365-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-024-10365-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T12:09:49Z","timestamp":1732536589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00521-024-10365-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,5]]},"references-count":97,"journal-issue":{"issue":"35","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["10365"],"URL":"https:\/\/doi.org\/10.1007\/s00521-024-10365-1","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,5]]},"assertion":[{"value":"9 May 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The authors consent to the publication of this work.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}]}}