{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:42:42Z","timestamp":1742913762615,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031266881"},{"type":"electronic","value":"9783031266898"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-26689-8_9","type":"book-chapter","created":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T00:04:31Z","timestamp":1677024271000},"page":"117-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6477-154X","authenticated-orcid":false,"given":"Jeny","family":"Jacob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7257-6031","authenticated-orcid":false,"given":"Manoj","family":"Changat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,22]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.7155\/jgaa.00455","volume":"22","author":"FJ Brandenburg","year":"2017","unstructured":"Brandenburg, F.J.: A first order logic definition of beyond-planar graphs. J. Graph Algorithms Appl. 22(1), 51\u201366 (2017)","journal-title":"J. Graph Algorithms Appl."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0012-365X(01)00296-5","volume":"254","author":"MA Morgana","year":"2002","unstructured":"Morgana, M.A., Mulder, H.M.: The induced path convexity, betweenness and svelte graphs. Discret. Math. 254, 349\u2013370 (2002)","journal-title":"Discret. Math."},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1023\/A:1013715518448","volume":"51","author":"M Changat","year":"2001","unstructured":"Changat, M., Klavzar, S., Mulder, H.M.: The all-paths transit function of a graph. Czechoslov. Math. J. 51(2), 439\u2013448 (2001)","journal-title":"Czechoslov. Math. J."},{"issue":"2\u20133","key":"9_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.disc.2003.07.014","volume":"290","author":"M Changat","year":"2005","unstructured":"Changat, M., Mulder, H.M., Sierksma, G.: Convexities related to path properties on graphs. Discret. Math. 290(2\u20133), 117\u2013131 (2005)","journal-title":"Discret. Math."},{"issue":"5","key":"9_CR5","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1016\/j.dam.2009.10.004","volume":"158","author":"M Changat","year":"2010","unstructured":"Changat, M., Mathew, J., Mulder, H.M.: The induced path function, monotonicity and betweenness. Discret. Appl. Math. 158(5), 426\u2013433 (2010)","journal-title":"Discret. Appl. Math."},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.7151\/dmgt.1990","volume":"38","author":"M Changat","year":"2018","unstructured":"Changat, M., Nezhad, F.H., Mulder, H.M., Narayanan, N.: A note on the interval function of a disconnected graph. Discuss. Math. Graph Theory 38(1), 39\u201348 (2018)","journal-title":"Discuss. Math. Graph Theory"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.akcej.2018.06.007","volume":"16","author":"M Changat","year":"2018","unstructured":"Changat, M., Narasimha-Shenoi, P.G., Seethakuttyamma, G.: Betweenness in graphs: a short survey on shortest and induced path betweenness. AKCE Int. J. Graphs Comb. 16(1), 96\u2013109 (2018)","journal-title":"AKCE Int. J. Graphs Comb."},{"issue":"12","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1016\/j.dam.2009.11.016","volume":"158","author":"MC Dourado","year":"2010","unstructured":"Dourado, M.C., Protti, F., Szwarcfiter, J.L.: Complexity results related to monophonic convexity. Discret. Appl. Math. 158(12), 1268\u20131274 (2010)","journal-title":"Discret. Appl. Math."},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0095-8956(88)90039-1","volume":"44","author":"P Duchet","year":"1988","unstructured":"Duchet, P.: Convex sets in graphs, II. Minimal path convexity. J. Comb. Theory Series B 44(3), 307\u2013316 (1988)","journal-title":"J. Comb. Theory Series B"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"A Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129\u2013141 (1961)","journal-title":"Fund. Math."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hellings, J., Kuijpers, B., Van den Bussche, J., Zhang, X.: Walk logic as a framework for path query languages on graph databases. In: Proceedings of the 16th International Conference on Database Theory, pp. 117\u2013128. ACM (2013)","DOI":"10.1145\/2448496.2448512"},{"key":"9_CR12","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2013","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2013)"},{"key":"9_CR13","unstructured":"Mulder, H.M.: Transit functions on graphs (and posets). In: Changat, M., Klav\u017ear, S., Mulder, H.M., Vijayakumar, A. (eds.) Convexity in Discrete Structures. Lecture Notes Series, vol. 5, pp. 117\u2013130. Ramanujan Mathematical Society (2008)"},{"key":"9_CR14","unstructured":"Mulder, H.M.: The interval function of a graph. MC Tracts (1980)"},{"issue":"5","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1016\/j.ejc.2008.09.007","volume":"30","author":"HM Mulder","year":"2009","unstructured":"Mulder, H.M., Nebesk\u00fd, L.: Axiomatic characterization of the interval function of a graph. Eur. J. Comb. 30(5), 1172\u20131185 (2009)","journal-title":"Eur. J. Comb."},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"173","DOI":"10.21136\/CMJ.1994.128449","volume":"44","author":"L Nebesk\u00fd","year":"1994","unstructured":"Nebesk\u00fd, L.: A characterization of the interval function of a connected graph. Czechoslovak Math. J. 44(1), 173\u2013178 (1994)","journal-title":"Czechoslovak Math. J."},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.21136\/MB.1998.126307","volume":"123","author":"L Nebesk\u00fd","year":"1998","unstructured":"Nebesk\u00fd, L.: Characterizing the interval function of a connected graph. Math. Bohem. 123(2), 137\u2013144 (1998)","journal-title":"Math. Bohem."},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"397","DOI":"10.21136\/MB.2002.134072","volume":"127","author":"L Nebesk\u00fd","year":"2002","unstructured":"Nebesk\u00fd, L.: The induced paths in a connected graph and a ternary relation determined by them. Math. Bohem. 127(3), 397\u2013408 (2002)","journal-title":"Math. Bohem."},{"key":"9_CR19","unstructured":"van De Vel, M.L.J.: Theory of Convex Structures. Elsevier, Amsterdam (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26689-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T00:06:13Z","timestamp":1677024373000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26689-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266881","9783031266898"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26689-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","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":"3 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icla2023.iiti.ac.in\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This proceeding includes 6 Invited paper","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}