{"id":"https://openalex.org/W7127625901","doi":"https://doi.org/10.48550/arxiv.2602.03640","title":"Tutorial on Reasoning for IR & IR for Reasoning","display_name":"Tutorial on Reasoning for IR & IR for Reasoning","publication_year":2026,"publication_date":"2026-02-03","ids":{"openalex":"https://openalex.org/W7127625901","doi":"https://doi.org/10.48550/arxiv.2602.03640"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.03640","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107377543","display_name":"Mohanna Hoveyda","orcid":"https://orcid.org/0009-0003-8027-6575"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hoveyda, Mohanna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124989875","display_name":"Panagiotis Efstratiadis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Efstratiadis, Panagiotis","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125028199","display_name":"Arjen de Vries","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Vries, Arjen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125085316","display_name":"Maarten de Rijke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Rijke, Maarten","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5107377543"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10286","display_name":"Information Retrieval and Search Behavior","score":0.7450000047683716,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10286","display_name":"Information Retrieval and Search Behavior","score":0.7450000047683716,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.021900000050663948,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11550","display_name":"Text and Document Classification Technologies","score":0.011699999682605267,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/domain","display_name":"Domain (mathematical analysis)","score":0.536300003528595},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5321000218391418},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5167999863624573},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.49000000953674316},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48820000886917114},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.42969998717308044},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.3547999858856201},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.336899995803833},{"id":"https://openalex.org/keywords/question-answering","display_name":"Question answering","score":0.3246000111103058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7591999769210815},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.536300003528595},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5321000218391418},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5167999863624573},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48820000886917114},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.38510000705718994},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.3547999858856201},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34310001134872437},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C14224292","wikidata":"https://www.wikidata.org/wiki/Q13600188","display_name":"Conceptual framework","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C149106765","wikidata":"https://www.wikidata.org/wiki/Q1982453","display_name":"Denotation (semiotics)","level":3,"score":0.3089999854564667},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.27160000801086426},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.2712000012397766},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.2590999901294708}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.03640","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.03640","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.03640","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.03640","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Information":[0],"retrieval":[1,133,190],"has":[2],"long":[3],"focused":[4],"on":[5],"ranking":[6],"documents":[7],"by":[8],"semantic":[9],"relatedness.":[10],"Yet":[11],"many":[12],"real-world":[13],"information":[14,132],"needs":[15],"demand":[16],"more:":[17],"enforcement":[18],"of":[19,26,29,40,53,60,115,126,131,154,162,235],"logical":[20],"constraints,":[21],"multi-step":[22],"inference,":[23],"and":[24,58,66,71,107,134,165,177,187,212,229],"synthesis":[25],"multiple":[27],"pieces":[28],"evidence.":[30],"Addressing":[31],"these":[32],"requirements":[33],"is,":[34],"at":[35],"its":[36],"core,":[37],"a":[38,123,138,159,195,209,224],"problem":[39,52],"reasoning.":[41],"Across":[42],"AI":[43],"communities,":[44],"researchers":[45,100],"are":[46],"developing":[47],"diverse":[48],"solutions":[49],"for":[50,98,215],"the":[51,77,103,112,129,151,155,170,232],"reasoning,":[54,118],"from":[55,136,184],"inference-time":[56],"strategies":[57],"post-training":[59],"LLMs,":[61],"to":[62,80,101,231],"neuro-symbolic":[63],"systems,":[64,219],"Bayesian":[65],"probabilistic":[67],"frameworks,":[68],"geometric":[69],"representations,":[70],"energy-based":[72],"models.":[73],"These":[74],"efforts":[75],"target":[76],"same":[78],"problem:":[79],"move":[81],"beyond":[82],"pattern-matching":[83],"systems":[84],"toward":[85],"structured,":[86],"verifiable":[87],"inference.":[88],"However,":[89],"they":[90],"remain":[91],"scattered":[92],"across":[93],"disciplines,":[94],"making":[95],"it":[96,137],"difficult":[97],"IR":[99,181,218,222],"identify":[102],"most":[104],"relevant":[105],"ideas":[106],"opportunities.":[108],"To":[109],"help":[110],"navigate":[111],"fragmented":[113],"landscape":[114],"research":[116],"in":[117,198],"this":[119],"tutorial":[120,203],"first":[121],"articulates":[122],"working":[124],"definition":[125],"reasoning":[127,200,236],"within":[128],"context":[130],"derives":[135],"unified":[139],"analytical":[140],"framework.":[141],"The":[142,202],"framework":[143,211],"maps":[144],"existing":[145],"approaches":[146,164],"along":[147],"axes":[148],"that":[149,226],"reflect":[150],"core":[152],"components":[153],"definition.":[156],"By":[157],"providing":[158],"comprehensive":[160],"overview":[161],"recent":[163],"mapping":[166],"current":[167],"methods":[168],"onto":[169],"defined":[171],"axes,":[172],"we":[173],"expose":[174],"their":[175],"trade-offs":[176],"complementarities,":[178],"highlight":[179],"where":[180],"can":[182,193],"benefit":[183],"cross-disciplinary":[185],"advances,":[186],"illustrate":[188],"how":[189],"process":[191],"itself":[192],"play":[194],"central":[196],"role":[197],"broader":[199,233],"systems.":[201],"will":[204],"equip":[205],"participants":[206],"with":[207],"both":[208,227],"conceptual":[210],"practical":[213],"guidance":[214],"enhancing":[216],"reasoning-capable":[217],"while":[220],"situating":[221],"as":[223],"domain":[225],"benefits":[228],"contributes":[230],"development":[234],"methodologies.":[237]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-06T00:00:00"}