{"id":"https://openalex.org/W2135774324","doi":"https://doi.org/10.1017/s1471068414000143","title":"The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information","display_name":"The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2135774324","doi":"https://doi.org/10.1017/s1471068414000143","mag":"2135774324"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068414000143","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068414000143","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034048112","display_name":"Aya Saad","orcid":"https://orcid.org/0000-0003-0198-8594"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"AYA SAAD","raw_affiliation_strings":["Universit\u00e4t Ulm, Germany (e-mail:","Universit\u00e4t, Ulm, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Ulm, Germany (e-mail:","institution_ids":["https://openalex.org/I196349391"]},{"raw_affiliation_string":"Universit\u00e4t, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032517478","display_name":"Thom Fr\u00fchwirth","orcid":null},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"THOM FR\u00dcHWIRTH","raw_affiliation_strings":["Universit\u00e4t Ulm, Germany (e-mail:","Universit\u00e4t, Ulm, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Ulm, Germany (e-mail:","institution_ids":["https://openalex.org/I196349391"]},{"raw_affiliation_string":"Universit\u00e4t, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021737776","display_name":"Carmen Gervet","orcid":"https://orcid.org/0000-0002-8062-2808"},"institutions":[{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"CARMEN GERVET","raw_affiliation_strings":["Universit\u00e9 de Savoie, France (e-mail:","Universit\u00e9 de Savoie,France("],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Savoie, France (e-mail:","institution_ids":["https://openalex.org/I70900168"]},{"raw_affiliation_string":"Universit\u00e9 de Savoie,France(","institution_ids":["https://openalex.org/I70900168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8284,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.81894943,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"14","issue":"4-5","first_page":"461","last_page":"475"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998000264167786,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998000264167786,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9973999857902527,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9955999851226807,"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/computer-science","display_name":"Computer science","score":0.7380325198173523},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7119598388671875},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6387261152267456},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5888558626174927},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.583299994468689},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5656931400299072},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5327168703079224},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5148279070854187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46152299642562866},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.45482778549194336},{"id":"https://openalex.org/keywords/cumulative-distribution-function","display_name":"Cumulative distribution function","score":0.4463636875152588},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42375725507736206},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34039247035980225},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20506417751312256},{"id":"https://openalex.org/keywords/probability-density-function","display_name":"Probability density function","score":0.18792298436164856},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1411331593990326},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1101020872592926},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09842294454574585},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09557491540908813}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7380325198173523},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7119598388671875},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6387261152267456},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5888558626174927},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.583299994468689},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5656931400299072},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5327168703079224},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5148279070854187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46152299642562866},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.45482778549194336},{"id":"https://openalex.org/C103784038","wikidata":"https://www.wikidata.org/wiki/Q386228","display_name":"Cumulative distribution function","level":3,"score":0.4463636875152588},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42375725507736206},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34039247035980225},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20506417751312256},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.18792298436164856},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1411331593990326},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1101020872592926},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09842294454574585},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09557491540908813},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068414000143","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068414000143","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W191285954","https://openalex.org/W1521910160","https://openalex.org/W1526328753","https://openalex.org/W1558184472","https://openalex.org/W1560277299","https://openalex.org/W1567384271","https://openalex.org/W1586826229","https://openalex.org/W1619787994","https://openalex.org/W1752785500","https://openalex.org/W1844548710","https://openalex.org/W1990426442","https://openalex.org/W2038104356","https://openalex.org/W2039993828","https://openalex.org/W2049404034","https://openalex.org/W2072438731","https://openalex.org/W2092086926","https://openalex.org/W2092102391","https://openalex.org/W2115408193","https://openalex.org/W2118328349","https://openalex.org/W2123396057","https://openalex.org/W2168798470","https://openalex.org/W2315214008","https://openalex.org/W3122281388","https://openalex.org/W4302501099"],"related_works":["https://openalex.org/W2807251790","https://openalex.org/W2046010102","https://openalex.org/W2952348651","https://openalex.org/W3086618278","https://openalex.org/W2799406489","https://openalex.org/W3097299490","https://openalex.org/W1980528650","https://openalex.org/W2361764490","https://openalex.org/W1526257359","https://openalex.org/W4306658484"],"abstract_inverted_index":{"Abstract":[0],"This":[1,94],"paper":[2],"introduces":[3],"a":[4,121],"new":[5],"constraint":[6],"domain":[7,85],"for":[8],"reasoning":[9,68],"about":[10],"data":[11,30,126],"with":[12,18,113,128],"uncertainty.":[13],"It":[14],"extends":[15],"convex":[16],"modeling":[17],"the":[19,29,35,64,83,91,101,116,125],"notion":[20],"of":[21,42,71,108,124],"p-box":[22,36,47,72],"to":[23,59],"gain":[24],"additional":[25,97],"quantifiable":[26],"information":[27],"on":[28,82,131],"whereabouts.":[31],"Unlike":[32],"existing":[33],"approaches,":[34],"envelops":[37],"an":[38,76],"unknown":[39],"probability":[40],"instead":[41],"approximating":[43],"its":[44,132],"representation.":[45],"The":[46,67,105],"bounds":[48,130],"are":[49],"uniform":[50],"cumulative":[51],"distribution":[52],"functions":[53],"(":[54],"cdf":[55,73,92],")":[56],"in":[57,63],"order":[58],"employ":[60],"linear":[61],"computations":[62],"probabilistic":[65,103,133],"domain.":[66,93],"by":[69,100],"means":[70],"-intervals":[74],"is":[75,80,88],"interval":[77],"computation":[78],"which":[79],"exerted":[81],"real":[84],"then":[86],"it":[87],"projected":[89],"onto":[90],"operation":[95],"conveys":[96],"knowledge":[98],"represented":[99],"obtained":[102],"bounds.":[104],"empirical":[106],"evaluation":[107],"our":[109],"implementation":[110],"shows":[111],"that,":[112],"minimal":[114],"overhead,":[115],"output":[117],"solution":[118],"set":[119],"realizes":[120],"full":[122],"enclosure":[123],"along":[127],"tighter":[129],"distributions.":[134]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}