{"id":"https://openalex.org/W3081266237","doi":"https://doi.org/10.24963/kr.2020/27","title":"Reasoning about Measures of Unmeasurable Sets","display_name":"Reasoning about Measures of Unmeasurable Sets","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081266237","doi":"https://doi.org/10.24963/kr.2020/27","mag":"3081266237"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/27","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/27","pdf_url":"https://proceedings.kr.org/2020/27/kr2020-0027-console-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/27/kr2020-0027-console-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069002162","display_name":"Marco Console","orcid":"https://orcid.org/0009-0004-5526-019X"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marco Console","raw_affiliation_strings":["University of Edinburgh"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057207055","display_name":"Matthias Hofer","orcid":"https://orcid.org/0000-0003-2029-5814"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthias Hofer","raw_affiliation_strings":["University of Edinburgh"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069883356","display_name":"Leonid Libkin","orcid":"https://orcid.org/0000-0002-6698-2735"},"institutions":[{"id":"https://openalex.org/I4210153280","display_name":"NeoGenomics (United States)","ror":"https://ror.org/04vj14y69","country_code":"US","type":"company","lineage":["https://openalex.org/I4210153280"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["FR","GB","US"],"is_corresponding":false,"raw_author_name":"Leonid Libkin","raw_affiliation_strings":["ENS Paris/PSL","Neo4j","University of Edinburgh"],"affiliations":[{"raw_affiliation_string":"ENS Paris/PSL","institution_ids":["https://openalex.org/I29607241"]},{"raw_affiliation_string":"Neo4j","institution_ids":["https://openalex.org/I4210153280"]},{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5069002162"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13946144,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"264","last_page":"273"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9966999888420105,"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.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.7836576700210571},{"id":"https://openalex.org/keywords/lebesgue-measure","display_name":"Lebesgue measure","score":0.6598383188247681},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6566752195358276},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6432073712348938},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5625578761100769},{"id":"https://openalex.org/keywords/vc-dimension","display_name":"VC dimension","score":0.5603823065757751},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5227987170219421},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5092223882675171},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4767806828022003},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.4626077115535736},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.4483996033668518},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4353305995464325},{"id":"https://openalex.org/keywords/exponentiation","display_name":"Exponentiation","score":0.4303993582725525},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.415910005569458},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3277073800563812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.299674928188324},{"id":"https://openalex.org/keywords/lebesgue-integration","display_name":"Lebesgue integration","score":0.2897998094558716},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17439284920692444},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.10509970784187317}],"concepts":[{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.7836576700210571},{"id":"https://openalex.org/C2777105136","wikidata":"https://www.wikidata.org/wiki/Q827230","display_name":"Lebesgue measure","level":3,"score":0.6598383188247681},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6566752195358276},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6432073712348938},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5625578761100769},{"id":"https://openalex.org/C119322782","wikidata":"https://www.wikidata.org/wiki/Q2662236","display_name":"VC dimension","level":2,"score":0.5603823065757751},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5227987170219421},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5092223882675171},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4767806828022003},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.4626077115535736},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.4483996033668518},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4353305995464325},{"id":"https://openalex.org/C81539297","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Exponentiation","level":2,"score":0.4303993582725525},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.415910005569458},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3277073800563812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.299674928188324},{"id":"https://openalex.org/C14158598","wikidata":"https://www.wikidata.org/wiki/Q853831","display_name":"Lebesgue integration","level":2,"score":0.2897998094558716},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17439284920692444},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.10509970784187317},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.24963/kr.2020/27","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/27","pdf_url":"https://proceedings.kr.org/2020/27/kr2020-0027-console-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/b6459b0f-dd05-49af-8d35-52ac068054c0","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/reasoning-about-measures-of-unmeasurable-sets(b6459b0f-dd05-49af-8d35-52ac068054c0).html","pdf_url":"https://www.pure.ed.ac.uk/ws/files/156898457/Reasoning_about_Measures_CONSOLE_DOA03062020_AFV.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:HAL:hal-03128512v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-03128512","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.264-273, ⟨10.24963/kr.2020/27⟩","raw_type":"Conference papers"},{"id":"pmh:oai:iris.uniroma1.it:11573/1561557","is_oa":true,"landing_page_url":"http://hdl.handle.net/11573/1561557","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/27","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/27","pdf_url":"https://proceedings.kr.org/2020/27/kr2020-0027-console-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4378070110","display_name":null,"funder_award_id":"N023056","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G53695486","display_name":null,"funder_award_id":"EP/N023056/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5458651130","display_name":null,"funder_award_id":"M025268","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8400180575","display_name":null,"funder_award_id":"EP/M025268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320328290","display_name":"Fondation Sciences Math\u00e9matiques de Paris","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081266237.pdf","grobid_xml":"https://content.openalex.org/works/W3081266237.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1527197079","https://openalex.org/W1572511250","https://openalex.org/W1822440022","https://openalex.org/W1861044479","https://openalex.org/W1990391007","https://openalex.org/W1992673035","https://openalex.org/W2018198423","https://openalex.org/W2019671617","https://openalex.org/W2025879964","https://openalex.org/W2049647362","https://openalex.org/W2075406325","https://openalex.org/W2099367286","https://openalex.org/W2130182605","https://openalex.org/W2133039566","https://openalex.org/W2137917830","https://openalex.org/W2160312889","https://openalex.org/W2162052349","https://openalex.org/W2187676271","https://openalex.org/W2297697128","https://openalex.org/W2304387544","https://openalex.org/W2611804663","https://openalex.org/W2795241473","https://openalex.org/W2899340125","https://openalex.org/W2937648528","https://openalex.org/W2948078705","https://openalex.org/W2948174565","https://openalex.org/W4230573295","https://openalex.org/W4240810995","https://openalex.org/W4249207878","https://openalex.org/W4249924552","https://openalex.org/W6631329903","https://openalex.org/W6657227783","https://openalex.org/W6677187490","https://openalex.org/W6679293786","https://openalex.org/W6683205336","https://openalex.org/W6686862482","https://openalex.org/W6697966556","https://openalex.org/W6749643533","https://openalex.org/W6763698872","https://openalex.org/W6822483354","https://openalex.org/W6844382842"],"related_works":["https://openalex.org/W2597963304","https://openalex.org/W2048939497","https://openalex.org/W4254423862","https://openalex.org/W4245987575","https://openalex.org/W3123862128","https://openalex.org/W3100756900","https://openalex.org/W4220934091","https://openalex.org/W2093682807","https://openalex.org/W4295804467","https://openalex.org/W4226002546"],"abstract_inverted_index":{"In":[0,164],"a":[1,58,66,74,86,94,168,204,251],"variety":[2],"of":[3,10,14,16,73,90,93,98,107,111,114,152,178,182,185,207,213,233,254],"reasoning":[4],"tasks,":[5],"one":[6],"estimates":[7],"the":[8,40,71,78,103,108,112,119,135,139,150,154,171,176,179,189,198,208,222,242],"likelihood":[9],"events":[11],"by":[12,30,105,118],"means":[13,106],"volumes":[15],"sets":[17,21,46],"they":[18],"define.":[19],"Such":[20],"need":[22],"to":[23,54,63,196],"be":[24,48,64],"measurable,":[25],"which":[26,153],"is":[27,62,161,259],"usually":[28],"achieved":[29],"putting":[31],"bounds,":[32],"sometimes":[33],"ad":[34],"hoc,":[35],"on":[36],"them.":[37],"We":[38,121],"address":[39,82],"question":[41],"how":[42,56,195],"unbounded":[43,234],"or":[44],"unmeasurable":[45,235],"can":[47],"measured":[49],"nonetheless.":[50],"Intuitively,":[51],"we":[52,84,166,193,225,248],"want":[53],"know":[55],"likely":[57],"randomly":[59],"chosen":[60],"point":[61],"in":[65,70,131],"given":[67],"set,":[68,215],"even":[69],"absence":[72],"uniform":[75,147],"distribution":[76],"over":[77,138,149],"entire":[79],"space.":[80],"To":[81],"this,":[83],"follow":[85],"recently":[87],"proposed":[88],"approach":[89,125],"taking":[91],"intersection":[92],"set":[95,129],"with":[96,134,237],"balls":[97,116],"increasing":[99],"radius,":[100],"and":[101,145,175,200,216,239,258],"defining":[102],"measure":[104,148,157,190,232,256],"asymptotic":[109,173],"behavior":[110,174],"proportion":[113],"such":[115],"taken":[117],"set.":[120],"show":[122,194,249],"that":[123,250],"this":[124,214,255],"works":[126],"for":[127,219,229],"every":[128,146],"definable":[130,183],"first-order":[132],"logic":[133],"usual":[136,155],"arithmetic":[137],"reals":[140],"(addition,":[141],"multiplication,":[142],"exponentiation,":[143],"etc.),":[144],"space,":[151],"Lebesgue":[156],"(area,":[158],"volume,":[159],"etc.)":[160],"an":[162],"example.":[163],"fact":[165],"establish":[167],"correspondence":[169],"between":[170],"good":[172],"finiteness":[177],"VC":[180],"dimension":[181],"families":[184],"sets.":[186],"Towards":[187],"computing":[188],"thus":[191],"defined,":[192],"avoid":[197],"asymptotics":[199],"characterize":[201],"it":[202],"via":[203],"specific":[205],"subset":[206],"unit":[209,223],"sphere.":[210],"Using":[211],"definability":[212],"known":[217],"techniques":[218],"sampling":[220],"from":[221],"sphere,":[224],"give":[226],"two":[227],"algorithms":[228],"estimating":[230],"our":[231],"sets,":[236],"deterministic":[238],"probabilistic":[240],"guarantees,":[241],"latter":[243],"being":[244],"more":[245],"efficient.":[246],"Finally":[247],"discrete":[252],"analog":[253],"exists":[257],"similarly":[260],"well-behaved.":[261]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}