{"id":"https://openalex.org/W7167890404","doi":"https://doi.org/10.1145/3805712.3808644","title":"Reasoning for IR & IR for Reasoning","display_name":"Reasoning for IR & IR for Reasoning","publication_year":2026,"publication_date":"2026-07-10","ids":{"openalex":"https://openalex.org/W7167890404","doi":"https://doi.org/10.1145/3805712.3808644"},"language":null,"primary_location":{"id":"doi:10.1145/3805712.3808644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805712.3808644","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3805712.3808644","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107377543","display_name":"Mohanna Hoveyda","orcid":"https://orcid.org/0009-0003-8027-6575"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mohanna Hoveyda","raw_affiliation_strings":["Radboud University, Nijmegen, Netherlands"],"raw_orcid":"https://orcid.org/0009-0003-8027-6575","affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041404983","display_name":"Panagiotis Eustratiadis","orcid":"https://orcid.org/0000-0002-9407-1293"},"institutions":[{"id":"https://openalex.org/I4210135670","display_name":"Amsterdam University of the Arts","ror":"https://ror.org/04dde1554","country_code":"NL","type":"education","lineage":["https://openalex.org/I4210135670"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Panagiotis Eustratiadis","raw_affiliation_strings":["University of Amsterdam, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9407-1293","affiliations":[{"raw_affiliation_string":"University of Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I4210135670","https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060259737","display_name":"Arjen P. de Vries","orcid":"https://orcid.org/0000-0002-2888-4202"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arjen P. de Vries","raw_affiliation_strings":["Radboud University, Nijmegen, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-2888-4202","affiliations":[{"raw_affiliation_string":"Radboud University, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031439294","display_name":"Maarten de Rijke","orcid":"https://orcid.org/0000-0002-1086-0202"},"institutions":[{"id":"https://openalex.org/I4210135670","display_name":"Amsterdam University of the Arts","ror":"https://ror.org/04dde1554","country_code":"NL","type":"education","lineage":["https://openalex.org/I4210135670"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Maarten de Rijke","raw_affiliation_strings":["University of Amsterdam, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1086-0202","affiliations":[{"raw_affiliation_string":"University of Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I4210135670","https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.91058723,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5332","last_page":"5335"},"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.7404000163078308,"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.7404000163078308,"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.0357000008225441,"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/T10028","display_name":"Topic Modeling","score":0.014399999752640724,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5340999960899353},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5214999914169312},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5145000219345093},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4970000088214874},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47850000858306885},{"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.37279999256134033},{"id":"https://openalex.org/keywords/question-answering","display_name":"Question answering","score":0.33559998869895935},{"id":"https://openalex.org/keywords/denotation","display_name":"Denotation (semiotics)","score":0.328000009059906}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7337999939918518},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5340999960899353},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5214999914169312},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5145000219345093},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4970000088214874},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47850000858306885},{"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.38089999556541443},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.37279999256134033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3546000123023987},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C149106765","wikidata":"https://www.wikidata.org/wiki/Q1982453","display_name":"Denotation (semiotics)","level":3,"score":0.328000009059906},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C14224292","wikidata":"https://www.wikidata.org/wiki/Q13600188","display_name":"Conceptual framework","level":2,"score":0.319599986076355},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3174000084400177},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.2838999927043915},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2648000121116638},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3805712.3808644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805712.3808644","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3805712.3808644","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3805712.3808644","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2899603836","https://openalex.org/W4385568159","https://openalex.org/W4385571271","https://openalex.org/W4386710800","https://openalex.org/W4399168671","https://openalex.org/W4404782598","https://openalex.org/W4409364952","https://openalex.org/W4409403843","https://openalex.org/W4411630018","https://openalex.org/W4415797255","https://openalex.org/W4415797312","https://openalex.org/W4416016992","https://openalex.org/W4416034181","https://openalex.org/W7133211372","https://openalex.org/W7133224126","https://openalex.org/W7133236450"],"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-08-21T09:56:20.448147","created_date":"2026-07-11T00:00:00"}