{"id":"https://openalex.org/W4403117105","doi":"https://doi.org/10.1007/s00521-024-10365-1","title":"A Monadic Second-Order Temporal Logic framework for hypergraphs","display_name":"A Monadic Second-Order Temporal Logic framework for hypergraphs","publication_year":2024,"publication_date":"2024-10-05","ids":{"openalex":"https://openalex.org/W4403117105","doi":"https://doi.org/10.1007/s00521-024-10365-1"},"language":"en","primary_location":{"id":"doi:10.1007/s00521-024-10365-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-024-10365-1","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neural Computing and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090303588","display_name":"Bikram Pratim Bhuyan","orcid":"https://orcid.org/0000-0001-5373-8912"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4390039377","display_name":"Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles","ror":"https://ror.org/01hcc6p91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"id":"https://openalex.org/I5847235","display_name":"University of Petroleum and Energy Studies","ror":"https://ror.org/04q2jes40","country_code":"IN","type":"education","lineage":["https://openalex.org/I5847235"]}],"countries":["FR","IN"],"is_corresponding":true,"raw_author_name":"Bikram Pratim Bhuyan","raw_affiliation_strings":["LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","LISV Laboratory, University of Paris Saclay, Velizy, France","School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, India","School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, Uttarakhand, 248006, India","LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)","UPES - University of Petroleum and Energy Studies [Dehradun] (India)"],"raw_orcid":"https://orcid.org/0000-0001-5373-8912","affiliations":[{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, Velizy, France","institution_ids":["https://openalex.org/I277688954"]},{"raw_affiliation_string":"School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, India","institution_ids":["https://openalex.org/I5847235"]},{"raw_affiliation_string":"School of Computer Science, University of Petroleum and Energy Studies, Bidholi, Dehra Dun, Uttarakhand, 248006, India","institution_ids":["https://openalex.org/I5847235"]},{"raw_affiliation_string":"LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)","institution_ids":["https://openalex.org/I4390039377"]},{"raw_affiliation_string":"UPES - University of Petroleum and Energy Studies [Dehradun] (India)","institution_ids":["https://openalex.org/I5847235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021272981","display_name":"T. P. Singh","orcid":"https://orcid.org/0000-0002-9375-3495"},"institutions":[{"id":"https://openalex.org/I3129773123","display_name":"Bennett University","ror":"https://ror.org/00an5hx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I3129773123"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"T. P. Singh","raw_affiliation_strings":["School of Computer Science Engineering and Technology, Bennett University, Greater Noida, 201306, India","School of Computer Science Engineering and Technology, Bennett University, Greater Noida, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science Engineering and Technology, Bennett University, Greater Noida, 201306, India","institution_ids":["https://openalex.org/I3129773123"]},{"raw_affiliation_string":"School of Computer Science Engineering and Technology, Bennett University, Greater Noida, India","institution_ids":["https://openalex.org/I3129773123"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002759654","display_name":"Ravi Tomar","orcid":"https://orcid.org/0000-0002-8957-6756"},"institutions":[{"id":"https://openalex.org/I2800727657","display_name":"Persistent Systems (India)","ror":"https://ror.org/03pekdw43","country_code":"IN","type":"education","lineage":["https://openalex.org/I2800727657"]},{"id":"https://openalex.org/I5847235","display_name":"University of Petroleum and Energy Studies","ror":"https://ror.org/04q2jes40","country_code":"IN","type":"education","lineage":["https://openalex.org/I5847235"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ravi Tomar","raw_affiliation_strings":["Persistent Systems, Pune, India","Persistent Systems, Pune, Mumbai, 411016, India","UPES - University of Petroleum and Energy Studies [Dehradun] (India)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Persistent Systems, Pune, India","institution_ids":["https://openalex.org/I2800727657"]},{"raw_affiliation_string":"Persistent Systems, Pune, Mumbai, 411016, India","institution_ids":["https://openalex.org/I2800727657"]},{"raw_affiliation_string":"UPES - University of Petroleum and Energy Studies [Dehradun] (India)","institution_ids":["https://openalex.org/I5847235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026439575","display_name":"Yassine Meraihi","orcid":"https://orcid.org/0000-0002-3735-7797"},"institutions":[{"id":"https://openalex.org/I3121272148","display_name":"University of Boumerdes","ror":"https://ror.org/02dveg925","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3121272148"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Yassine Meraihi","raw_affiliation_strings":["LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Avenue of Independence, 35000, Boumerdes, Algeria","LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Boumerdes, Algeria","UMBB - Universit\u00e9 M'Hamed Bougara Boumerdes (Boumerd\u00e8s - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Avenue of Independence, 35000, Boumerdes, Algeria","institution_ids":["https://openalex.org/I3121272148"]},{"raw_affiliation_string":"LIST Laboratory, University of M\u2019Hamed Bougara Boumerdes, Boumerdes, Algeria","institution_ids":["https://openalex.org/I3121272148"]},{"raw_affiliation_string":"UMBB - Universit\u00e9 M'Hamed Bougara Boumerdes (Boumerd\u00e8s - Algeria)","institution_ids":["https://openalex.org/I3121272148"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003414781","display_name":"Amar Ramdane-Ch\u00e9rif","orcid":"https://orcid.org/0000-0001-8289-747X"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4390039377","display_name":"Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles","ror":"https://ror.org/01hcc6p91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039377"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Amar Ramdane-Cherif","raw_affiliation_strings":["LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","LISV Laboratory, University of Paris Saclay, Velizy, France","LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, 10-12 Avenue of Europe, 78140, Velizy, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377"]},{"raw_affiliation_string":"LISV Laboratory, University of Paris Saclay, Velizy, France","institution_ids":["https://openalex.org/I277688954"]},{"raw_affiliation_string":"LISV - Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes de Versailles (B\u00e2timent Boucher\r\nP\u00f4le scientifique et technologique de V\u00e9lizy\r\n10-12 avenue de l'Europe\r\n78140 V\u00e9lizy\r\nT\u00e9l. : 01 39 25 49 65 - France)","institution_ids":["https://openalex.org/I4390039377"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5090303588"],"corresponding_institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4390039377","https://openalex.org/I5847235"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.6431,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69816718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"36","issue":"35","first_page":"22081","last_page":"22118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computational-science-and-engineering","display_name":"Computational Science and Engineering","score":0.7314101457595825},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6445181369781494},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5601567625999451},{"id":"https://openalex.org/keywords/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.5378386974334717},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44305580854415894},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34120941162109375},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.21756502985954285},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15471291542053223},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.1221078634262085}],"concepts":[{"id":"https://openalex.org/C68597687","wikidata":"https://www.wikidata.org/wiki/Q362601","display_name":"Computational Science and Engineering","level":2,"score":0.7314101457595825},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6445181369781494},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5601567625999451},{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.5378386974334717},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44305580854415894},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34120941162109375},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.21756502985954285},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15471291542053223},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.1221078634262085},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00521-024-10365-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-024-10365-1","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Neural Computing and Applications","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04723180v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04723180","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Neural Computing and Applications, 2024, ⟨10.1007/s00521-024-10365-1⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W1540247986","https://openalex.org/W1612453857","https://openalex.org/W1755189310","https://openalex.org/W1885037678","https://openalex.org/W1918405426","https://openalex.org/W1965024948","https://openalex.org/W1990890881","https://openalex.org/W2006904655","https://openalex.org/W2028357390","https://openalex.org/W2033290519","https://openalex.org/W2041403185","https://openalex.org/W2066585576","https://openalex.org/W2084910510","https://openalex.org/W2098171268","https://openalex.org/W2121196188","https://openalex.org/W2122540544","https://openalex.org/W2153737593","https://openalex.org/W2161484642","https://openalex.org/W2161910638","https://openalex.org/W2165663423","https://openalex.org/W2168866435","https://openalex.org/W2238201325","https://openalex.org/W2318233650","https://openalex.org/W2598599932","https://openalex.org/W2766585573","https://openalex.org/W2892880750","https://openalex.org/W2950369002","https://openalex.org/W2963414755","https://openalex.org/W2965873649","https://openalex.org/W2985422378","https://openalex.org/W3035021589","https://openalex.org/W3035120990","https://openalex.org/W3035149912","https://openalex.org/W3035520037","https://openalex.org/W3049654111","https://openalex.org/W3086979146","https://openalex.org/W3105663757","https://openalex.org/W3171281815","https://openalex.org/W3189269126","https://openalex.org/W3190196337","https://openalex.org/W3190664711","https://openalex.org/W3196594607","https://openalex.org/W4206968925","https://openalex.org/W4221157437","https://openalex.org/W4224266469","https://openalex.org/W4224318899","https://openalex.org/W4229801112","https://openalex.org/W4235239597","https://openalex.org/W4246695531","https://openalex.org/W4282926996","https://openalex.org/W4318763652","https://openalex.org/W4319241296","https://openalex.org/W4320629409","https://openalex.org/W4360868502","https://openalex.org/W4365792345","https://openalex.org/W4380086915","https://openalex.org/W4383823294","https://openalex.org/W4384027549","https://openalex.org/W4385549008","https://openalex.org/W4386515696","https://openalex.org/W4387405524","https://openalex.org/W4387767134","https://openalex.org/W4387823754","https://openalex.org/W4387908662","https://openalex.org/W4388997088","https://openalex.org/W4390758997","https://openalex.org/W4390985439","https://openalex.org/W4391543468","https://openalex.org/W4391640582","https://openalex.org/W4392507586","https://openalex.org/W4392975964","https://openalex.org/W4393002389","https://openalex.org/W4393147786","https://openalex.org/W4393153078","https://openalex.org/W4396920844","https://openalex.org/W6636501790"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}