{"id":4446,"date":"2023-05-16T08:07:16","date_gmt":"2023-05-16T08:07:16","guid":{"rendered":"https:\/\/isipta23.sipta.org\/?page_id=4446"},"modified":"2023-07-11T12:53:25","modified_gmt":"2023-07-11T12:53:25","slug":"long-maua","status":"publish","type":"page","link":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/","title":{"rendered":"Long Maua"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"4446\" class=\"elementor elementor-4446\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t\t\t\t<section data-eae-particle=\"{\n  &quot;particles&quot;: {\n    &quot;number&quot;: {\n      &quot;value&quot;: 80,\n      &quot;density&quot;: {\n        &quot;enable&quot;: true,\n        &quot;value_area&quot;: 800\n      }\n    },\n    &quot;color&quot;: {\n      &quot;value&quot;: &quot;#ffffff&quot;\n    },\n    &quot;shape&quot;: {\n      &quot;type&quot;: &quot;circle&quot;,\n      &quot;stroke&quot;: {\n        &quot;width&quot;: 0,\n        &quot;color&quot;: &quot;#000000&quot;\n      },\n      &quot;polygon&quot;: {\n        &quot;nb_sides&quot;: 5\n      },\n      &quot;image&quot;: {\n        &quot;src&quot;: &quot;img\/github.svg&quot;,\n        &quot;width&quot;: 100,\n        &quot;height&quot;: 100\n      }\n    },\n    &quot;opacity&quot;: {\n      &quot;value&quot;: 0.5,\n      &quot;random&quot;: false,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 1,\n        &quot;opacity_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;size&quot;: {\n      &quot;value&quot;: 3,\n      &quot;random&quot;: true,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 40,\n        &quot;size_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;line_linked&quot;: {\n      &quot;enable&quot;: true,\n      &quot;distance&quot;: 150,\n      &quot;color&quot;: &quot;#ffffff&quot;,\n      &quot;opacity&quot;: 0.4,\n      &quot;width&quot;: 1\n    },\n    &quot;move&quot;: {\n      &quot;enable&quot;: true,\n      &quot;speed&quot;: 6,\n      &quot;direction&quot;: &quot;none&quot;,\n      &quot;random&quot;: false,\n      &quot;straight&quot;: false,\n      &quot;out_mode&quot;: &quot;out&quot;,\n      &quot;bounce&quot;: false,\n      &quot;attract&quot;: {\n        &quot;enable&quot;: false,\n        &quot;rotateX&quot;: 600,\n        &quot;rotateY&quot;: 1200\n      }\n    }\n  },\n  &quot;interactivity&quot;: {\n    &quot;detect_on&quot;: &quot;canvas&quot;,\n    &quot;events&quot;: {\n      &quot;onhover&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;repulse&quot;\n      },\n      &quot;onclick&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;push&quot;\n      },\n      &quot;resize&quot;: true\n    },\n    &quot;modes&quot;: {\n      &quot;grab&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;line_linked&quot;: {\n          &quot;opacity&quot;: 1\n        }\n      },\n      &quot;bubble&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;size&quot;: 40,\n        &quot;duration&quot;: 2,\n        &quot;opacity&quot;: 8,\n        &quot;speed&quot;: 3\n      },\n      &quot;repulse&quot;: {\n        &quot;distance&quot;: 200,\n        &quot;duration&quot;: 0.4\n      },\n      &quot;push&quot;: {\n        &quot;particles_nb&quot;: 4\n      },\n      &quot;remove&quot;: {\n        &quot;particles_nb&quot;: 2\n      }\n    }\n  },\n  &quot;retina_detect&quot;: true\n}\" class=\"elementor-section elementor-top-section elementor-element elementor-element-922e127 elementor-section-height-min-height eae-particle-yes elementor-section-boxed elementor-section-height-default elementor-section-items-middle\" data-id=\"922e127\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;shape_divider_bottom&quot;:&quot;wave-brush&quot;}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" data-negative=\"false\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 283.5 27.8\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M283.5,9.7c0,0-7.3,4.3-14,4.6c-6.8,0.3-12.6,0-20.9-1.5c-11.3-2-33.1-10.1-44.7-5.7\ts-12.1,4.6-18,7.4c-6.6,3.2-20,9.6-36.6,9.3C131.6,23.5,99.5,7.2,86.3,8c-1.4,0.1-6.6,0.8-10.5,2c-3.8,1.2-9.4,3.8-17,4.7\tc-3.2,0.4-8.3,1.1-14.2,0.9c-1.5-0.1-6.3-0.4-12-1.6c-5.7-1.2-11-3.1-15.8-3.7C6.5,9.2,0,10.8,0,10.8V0h283.5V9.7z M260.8,11.3\tc-0.7-1-2-0.4-4.3-0.4c-2.3,0-6.1-1.2-5.8-1.1c0.3,0.1,3.1,1.5,6,1.9C259.7,12.2,261.4,12.3,260.8,11.3z M242.4,8.6\tc0,0-2.4-0.2-5.6-0.9c-3.2-0.8-10.3-2.8-15.1-3.5c-8.2-1.1-15.8,0-15.1,0.1c0.8,0.1,9.6-0.6,17.6,1.1c3.3,0.7,9.3,2.2,12.4,2.7\tC239.9,8.7,242.4,8.6,242.4,8.6z M185.2,8.5c1.7-0.7-13.3,4.7-18.5,6.1c-2.1,0.6-6.2,1.6-10,2c-3.9,0.4-8.9,0.4-8.8,0.5\tc0,0.2,5.8,0.8,11.2,0c5.4-0.8,5.2-1.1,7.6-1.6C170.5,14.7,183.5,9.2,185.2,8.5z M199.1,6.9c0.2,0-0.8-0.4-4.8,1.1\tc-4,1.5-6.7,3.5-6.9,3.7c-0.2,0.1,3.5-1.8,6.6-3C197,7.5,199,6.9,199.1,6.9z M283,6c-0.1,0.1-1.9,1.1-4.8,2.5s-6.9,2.8-6.7,2.7\tc0.2,0,3.5-0.6,7.4-2.5C282.8,6.8,283.1,5.9,283,6z M31.3,11.6c0.1-0.2-1.9-0.2-4.5-1.2s-5.4-1.6-7.8-2C15,7.6,7.3,8.5,7.7,8.6\tC8,8.7,15.9,8.3,20.2,9.3c2.2,0.5,2.4,0.5,5.7,1.6S31.2,11.9,31.3,11.6z M73,9.2c0.4-0.1,3.5-1.6,8.4-2.6c4.9-1.1,8.9-0.5,8.9-0.8\tc0-0.3-1-0.9-6.2-0.3S72.6,9.3,73,9.2z M71.6,6.7C71.8,6.8,75,5.4,77.3,5c2.3-0.3,1.9-0.5,1.9-0.6c0-0.1-1.1-0.2-2.7,0.2\tC74.8,5.1,71.4,6.6,71.6,6.7z M93.6,4.4c0.1,0.2,3.5,0.8,5.6,1.8c2.1,1,1.8,0.6,1.9,0.5c0.1-0.1-0.8-0.8-2.4-1.3\tC97.1,4.8,93.5,4.2,93.6,4.4z M65.4,11.1c-0.1,0.3,0.3,0.5,1.9-0.2s2.6-1.3,2.2-1.2s-0.9,0.4-2.5,0.8C65.3,10.9,65.5,10.8,65.4,11.1\tz M34.5,12.4c-0.2,0,2.1,0.8,3.3,0.9c1.2,0.1,2,0.1,2-0.2c0-0.3-0.1-0.5-1.6-0.4C36.6,12.8,34.7,12.4,34.5,12.4z M152.2,21.1\tc-0.1,0.1-2.4-0.3-7.5-0.3c-5,0-13.6-2.4-17.2-3.5c-3.6-1.1,10,3.9,16.5,4.1C150.5,21.6,152.3,21,152.2,21.1z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M269.6,18c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC267.7,18.8,269.7,18,269.6,18z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M227.4,9.8c-0.2-0.1-4.5-1-9.5-1.2c-5-0.2-12.7,0.6-12.3,0.5c0.3-0.1,5.9-1.8,13.3-1.2\tS227.6,9.9,227.4,9.8z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M204.5,13.4c-0.1-0.1,2-1,3.2-1.1c1.2-0.1,2,0,2,0.3c0,0.3-0.1,0.5-1.6,0.4\tC206.4,12.9,204.6,13.5,204.5,13.4z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M201,10.6c0-0.1-4.4,1.2-6.3,2.2c-1.9,0.9-6.2,3.1-6.1,3.1c0.1,0.1,4.2-1.6,6.3-2.6\tS201,10.7,201,10.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M154.5,26.7c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC152.6,27.5,154.6,26.8,154.5,26.7z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M41.9,19.3c0,0,1.2-0.3,2.9-0.1c1.7,0.2,5.8,0.9,8.2,0.7c4.2-0.4,7.4-2.7,7-2.6\tc-0.4,0-4.3,2.2-8.6,1.9c-1.8-0.1-5.1-0.5-6.7-0.4S41.9,19.3,41.9,19.3z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M75.5,12.6c0.2,0.1,2-0.8,4.3-1.1c2.3-0.2,2.1-0.3,2.1-0.5c0-0.1-1.8-0.4-3.4,0\tC76.9,11.5,75.3,12.5,75.5,12.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M15.6,13.2c0-0.1,4.3,0,6.7,0.5c2.4,0.5,5,1.9,5,2c0,0.1-2.7-0.8-5.1-1.4\tC19.9,13.7,15.7,13.3,15.6,13.2z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b1b1d02\" data-id=\"b1b1d02\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-cd1ef36 elementor-widget elementor-widget-image\" data-id=\"cd1ef36\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" loading=\"lazy\" width=\"1024\" height=\"128\" src=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" class=\"attachment-large size-large wp-image-546\" alt=\"LogoISIPTA23-long-white\" srcset=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png 1024w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-300x38.png 300w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-768x96.png 768w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white.png 1284w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-017a3c3 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"017a3c3\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-divider{--divider-border-style:none;--divider-border-width:1px;--divider-color:#0c0d0e;--divider-icon-size:20px;--divider-element-spacing:10px;--divider-pattern-height:24px;--divider-pattern-size:20px;--divider-pattern-url:none;--divider-pattern-repeat:repeat-x}.elementor-widget-divider .elementor-divider{display:flex}.elementor-widget-divider .elementor-divider__text{font-size:15px;line-height:1;max-width:95%}.elementor-widget-divider .elementor-divider__element{margin:0 var(--divider-element-spacing);flex-shrink:0}.elementor-widget-divider .elementor-icon{font-size:var(--divider-icon-size)}.elementor-widget-divider .elementor-divider-separator{display:flex;margin:0;direction:ltr}.elementor-widget-divider--view-line_icon .elementor-divider-separator,.elementor-widget-divider--view-line_text .elementor-divider-separator{align-items:center}.elementor-widget-divider--view-line_icon .elementor-divider-separator:after,.elementor-widget-divider--view-line_icon .elementor-divider-separator:before,.elementor-widget-divider--view-line_text .elementor-divider-separator:after,.elementor-widget-divider--view-line_text .elementor-divider-separator:before{display:block;content:\"\";border-bottom:0;flex-grow:1;border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--element-align-left .elementor-divider .elementor-divider-separator>.elementor-divider__svg:first-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-left .elementor-divider-separator:before{content:none}.elementor-widget-divider--element-align-left .elementor-divider__element{margin-left:0}.elementor-widget-divider--element-align-right .elementor-divider .elementor-divider-separator>.elementor-divider__svg:last-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-right .elementor-divider-separator:after{content:none}.elementor-widget-divider--element-align-right .elementor-divider__element{margin-right:0}.elementor-widget-divider:not(.elementor-widget-divider--view-line_text):not(.elementor-widget-divider--view-line_icon) .elementor-divider-separator{border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--separator-type-pattern{--divider-border-style:none}.elementor-widget-divider--separator-type-pattern.elementor-widget-divider--view-line .elementor-divider-separator,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:after,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:before,.elementor-widget-divider--separator-type-pattern:not([class*=elementor-widget-divider--view]) .elementor-divider-separator{width:100%;min-height:var(--divider-pattern-height);-webkit-mask-size:var(--divider-pattern-size) 100%;mask-size:var(--divider-pattern-size) 100%;-webkit-mask-repeat:var(--divider-pattern-repeat);mask-repeat:var(--divider-pattern-repeat);background-color:var(--divider-color);-webkit-mask-image:var(--divider-pattern-url);mask-image:var(--divider-pattern-url)}.elementor-widget-divider--no-spacing{--divider-pattern-size:auto}.elementor-widget-divider--bg-round{--divider-pattern-repeat:round}.rtl .elementor-widget-divider .elementor-divider__text{direction:rtl}.e-con-inner>.elementor-widget-divider,.e-con>.elementor-widget-divider{width:var(--container-widget-width,100%);--flex-grow:var(--container-widget-flex-grow)}<\/style>\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9adf215 elementor-widget elementor-widget-heading\" data-id=\"9adf215\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\">Mau\u00e1 and Cozman<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-fac39ee elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fac39ee\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-daa0aae\" data-id=\"daa0aae\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b4d9d71 elementor-widget elementor-widget-text-editor\" data-id=\"b4d9d71\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-99180d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"99180d5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1cf27c4\" data-id=\"1cf27c4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-63d4f60 elementor-widget elementor-widget-heading\" data-id=\"63d4f60\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Specifying Credal Sets With Probabilistic Answer Set Programming<\/h1>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-56b42ba elementor-widget elementor-widget-heading\" data-id=\"56b42ba\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<span class=\"elementor-heading-title elementor-size-default\">Probabilistic Answer Set Programming offers an intuitive and powerful declarative language to represent uncertainty about combinatorial structures. Remarkably, under the credal semantics, such programs can specify any infinitely monotone Choquet Capacity in an intuitive way. Yet, one might be interested in specifying more general credal sets. We examine how probabilistic answer set programs can be extended to represent more general credal sets with constructs that allow for imprecise probability values. We characterize the credal sets that can be captured with various languages, and discuss the expressivity and complexity added by the use of imprecision in probabilistic constructs.<\/span>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-04bf226 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"04bf226\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-f9ee385\" data-id=\"f9ee385\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-12a1049 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"12a1049\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/06\/maua23a.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PAPER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-6a44689\" data-id=\"6a44689\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-06335f8 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"06335f8\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/presmaua.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PRESENTATION<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-cd224fc\" data-id=\"cd224fc\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-42bce44 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"42bce44\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/postermaua.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>POSTER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-dd2b88d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dd2b88d\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e2b8390\" data-id=\"e2b8390\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e9aa4b4 elementor-widget elementor-widget-text-editor\" data-id=\"e9aa4b4\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Mau\u00e1 and Cozman \u2aa1 Back Specifying Credal Sets With Probabilistic Answer Set Programming Probabilistic Answer Set Programming offers an intuitive and powerful declarative language to represent uncertainty about combinatorial structures. Remarkably, under the credal semantics, such programs can specify any infinitely monotone Choquet Capacity in an intuitive way. Yet, one might be interested in specifying [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":3821,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"footnotes":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Long Maua - ISIPTA 2023<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Long Maua - ISIPTA 2023\" \/>\n<meta property=\"og:description\" content=\"Mau\u00e1 and Cozman \u2aa1 Back Specifying Credal Sets With Probabilistic Answer Set Programming Probabilistic Answer Set Programming offers an intuitive and powerful declarative language to represent uncertainty about combinatorial structures. Remarkably, under the credal semantics, such programs can specify any infinitely monotone Choquet Capacity in an intuitive way. Yet, one might be interested in specifying [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/\" \/>\n<meta property=\"og:site_name\" content=\"ISIPTA 2023\" \/>\n<meta property=\"article:modified_time\" content=\"2023-07-11T12:53:25+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/\",\"url\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/\",\"name\":\"Long Maua - ISIPTA 2023\",\"isPartOf\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#website\"},\"datePublished\":\"2023-05-16T08:07:16+00:00\",\"dateModified\":\"2023-07-11T12:53:25+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/isipta23.sipta.org\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Accepted Papers\",\"item\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Long Maua\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/isipta23.sipta.org\/#website\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"name\":\"ISIPTA 2023\",\"description\":\"The International Symposium on Imprecise Probabilities\",\"publisher\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/isipta23.sipta.org\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\",\"name\":\"ISIPTA 2023\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"contentUrl\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"width\":500,\"height\":500,\"caption\":\"ISIPTA 2023\"},\"image\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Long Maua - ISIPTA 2023","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/","og_locale":"en_GB","og_type":"article","og_title":"Long Maua - ISIPTA 2023","og_description":"Mau\u00e1 and Cozman \u2aa1 Back Specifying Credal Sets With Probabilistic Answer Set Programming Probabilistic Answer Set Programming offers an intuitive and powerful declarative language to represent uncertainty about combinatorial structures. Remarkably, under the credal semantics, such programs can specify any infinitely monotone Choquet Capacity in an intuitive way. Yet, one might be interested in specifying [&hellip;]","og_url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/","og_site_name":"ISIPTA 2023","article_modified_time":"2023-07-11T12:53:25+00:00","og_image":[{"url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/","url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/","name":"Long Maua - ISIPTA 2023","isPartOf":{"@id":"https:\/\/isipta23.sipta.org\/#website"},"datePublished":"2023-05-16T08:07:16+00:00","dateModified":"2023-07-11T12:53:25+00:00","breadcrumb":{"@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-maua\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/isipta23.sipta.org\/"},{"@type":"ListItem","position":2,"name":"Accepted Papers","item":"https:\/\/isipta23.sipta.org\/accepted-papers\/"},{"@type":"ListItem","position":3,"name":"Long Maua"}]},{"@type":"WebSite","@id":"https:\/\/isipta23.sipta.org\/#website","url":"https:\/\/isipta23.sipta.org\/","name":"ISIPTA 2023","description":"The International Symposium on Imprecise Probabilities","publisher":{"@id":"https:\/\/isipta23.sipta.org\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/isipta23.sipta.org\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/isipta23.sipta.org\/#organization","name":"ISIPTA 2023","url":"https:\/\/isipta23.sipta.org\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/","url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","contentUrl":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","width":500,"height":500,"caption":"ISIPTA 2023"},"image":{"@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4446"}],"collection":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/comments?post=4446"}],"version-history":[{"count":28,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4446\/revisions"}],"predecessor-version":[{"id":6663,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4446\/revisions\/6663"}],"up":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/3821"}],"wp:attachment":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/media?parent=4446"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}