{"id":"https://openalex.org/W7127178717","doi":"https://doi.org/10.48550/arxiv.2601.23085","title":"OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning","display_name":"OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning","publication_year":2026,"publication_date":"2026-01-30","ids":{"openalex":"https://openalex.org/W7127178717","doi":"https://doi.org/10.48550/arxiv.2601.23085"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2601.23085","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/A5014156152","display_name":"Jelle Piepenbrock","orcid":"https://orcid.org/0000-0002-8385-9157"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Piepenbrock, Jelle","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124799677","display_name":"Arjen P de Vries","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Vries, Arjen P","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124863781","display_name":"Maarten de Rijke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Rijke, Maarten","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5124806162","display_name":"Faegheh Hasibi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hasibi, Faegheh","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"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/T10028","display_name":"Topic Modeling","score":0.3249000012874603,"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"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.3249000012874603,"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"}},{"id":"https://openalex.org/T10286","display_name":"Information Retrieval and Search Behavior","score":0.15770000219345093,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.13519999384880066,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7601000070571899},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6154999732971191},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4417000114917755},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4052000045776367},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.3982999920845032},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.38749998807907104},{"id":"https://openalex.org/keywords/divergence-from-randomness-model","display_name":"Divergence-from-randomness model","score":0.3790999948978424},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.3785000145435333},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3668000102043152},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.36570000648498535}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7601000070571899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6787999868392944},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6154999732971191},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5371000170707703},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4052000045776367},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3982999920845032},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.38749998807907104},{"id":"https://openalex.org/C149189445","wikidata":"https://www.wikidata.org/wiki/Q5283894","display_name":"Divergence-from-randomness model","level":3,"score":0.3790999948978424},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.36570000648498535},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.34540000557899475},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3253999948501587},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.32190001010894775},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2955999970436096},{"id":"https://openalex.org/C156201811","wikidata":"https://www.wikidata.org/wiki/Q5418360","display_name":"Evidential reasoning approach","level":4,"score":0.2935999929904938},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.29330000281333923},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.2818000018596649},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.2662999927997589},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.26089999079704285}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2601.23085","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.2601.23085","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.23085","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.2601.23085","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":{"Resolving":[0],"complex":[1],"information":[2,83],"needs":[3],"that":[4,46,96,198,210],"come":[5],"with":[6,163,176,204],"multiple":[7,137],"constraints":[8,34],"should":[9],"consider":[10],"enforcing":[11],"the":[12,17,24,127],"logical":[13,102,151],"operators":[14],"encoded":[15],"in":[16,35,41,82,115],"query":[18,131],"(i.e.,":[19],"conjunction,":[20],"disjunction,":[21],"negation)":[22],"on":[23,179],"candidate":[25],"answer":[26],"set.":[27],"Current":[28],"retrieval":[29,94,209],"systems":[30],"either":[31],"ignore":[32],"these":[33],"neural":[36],"embeddings":[37],"or":[38,65],"approximate":[39],"them":[40],"a":[42,92,104,122,148],"generative":[43],"reasoning":[44,124,175,206,213],"process":[45],"can":[47,167],"be":[48],"inconsistent":[49],"and":[50,74,147,153,159],"unreliable.":[51],"Although":[52],"well-suited":[53],"to":[54,62,76,144,173],"structured":[55],"reasoning,":[56],"existing":[57],"neuro-symbolic":[58,93],"approaches":[59],"remain":[60],"confined":[61],"formal":[63],"logic":[64],"mathematics":[66],"problems":[67],"as":[68],"they":[69],"often":[70],"assume":[71],"unambiguous":[72],"queries":[73],"access":[75,143],"complete":[77],"evidence,":[78],"conditions":[79],"rarely":[80],"met":[81],"retrieval.":[84],"To":[85],"bridge":[86],"this":[87],"gap,":[88],"we":[89],"introduce":[90],"OrLog,":[91],"framework":[95],"decouples":[97],"predicate-level":[98],"plausibility":[99,110,201],"estimation":[100,202],"from":[101,120],"reasoning:":[103],"large":[105],"language":[106],"model":[107],"(LLM)":[108],"provides":[109],"scores":[111],"for":[112],"atomic":[113],"predicates":[114],"one":[116],"decoding-free":[117],"forward":[118],"pass,":[119],"which":[121],"probabilistic":[123,205],"engine":[125],"derives":[126],"posterior":[128],"probability":[129],"of":[130,142,150],"satisfaction.":[132],"We":[133],"evaluate":[134],"OrLog":[135,166,182],"across":[136],"backbone":[138],"LLMs,":[139],"varying":[140],"levels":[141],"external":[145],"knowledge,":[146],"range":[149],"constraints,":[152],"compare":[154],"it":[155],"against":[156],"base":[157],"retrievers":[158],"LLM-as-reasoner":[160],"methods.":[161],"Provided":[162],"entity":[164],"descriptions,":[165],"significantly":[168],"boost":[169],"top-rank":[170],"precision":[171],"compared":[172],"LLM":[174],"larger":[177],"gains":[178],"disjunctive":[180],"queries.":[181],"is":[183],"also":[184],"more":[185],"efficient,":[186],"cutting":[187],"mean":[188],"tokens":[189],"by":[190],"$\\sim$90\\%":[191],"per":[192],"query-entity":[193],"pair.":[194],"These":[195],"results":[196],"demonstrate":[197],"generation-free":[199],"predicate":[200],"combined":[203],"enables":[207],"constraint-aware":[208],"outperforms":[211],"monolithic":[212],"while":[214],"using":[215],"far":[216],"fewer":[217],"tokens.":[218]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-03T00:00:00"}