Document Search Results

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Search Results - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/?q=ut%3Auncertainty+sw%3ABLOG"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open — the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents active"> <a href="/">Documents</a> </li> <li class="tab-authors"> <a href="/authors/">Authors</a> </li> <li class="tab-serials"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formulæ</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-la" placeholder="use name or ISO code"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-rv" placeholder="enter name or zbMATH reviewer number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-an" placeholder="Zbl, JFM or ERAM number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-en" placeholder="e.g. DOI, ISBN, arXiv ID"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-sw" placeholder="use * to find all documents using software"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-br" placeholder="find documents about the life or work of a person"> <span class="multi-line-value" id="multi-line-type-multiselect-db"> <select class="multi-line-selectpicker" data-width="100%" multiple> <option value="zbl">Zbl</option> <option value="arxiv">arXiv</option> <option value="jfm">JFM</option> <option value="eram">ERAM</option> </select> <input type="hidden" class="multi-line-input" name="ml-0-v" value=""> </span> </div> <form name="documents" method="GET" action="/" autocomplete="off"> <div class="documents multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au" selected>Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti" selected>Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 form-inline"> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-test" style="visibility: hidden; position: fixed;"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label title="search for Articles in Journals"> <input type="checkbox" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label title="search for arXiv Preprints"> <input type="checkbox" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-real"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label for="dt-j" title="search for Articles in Journals"> <input type="checkbox" id="dt-j" name="dt" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label for="dt-a" title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" id="dt-a" name="dt" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label for="dt-b" title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" id="dt-b" name="dt" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label for="dt-p" title="search for arXiv Preprints"> <input type="checkbox" id="dt-p" name="dt" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="documents" method="GET" action="/"> <div class="documents one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="ut:uncertainty sw:BLOG" aria-label="Search for documents" placeholder="Search for documents" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span> </span>anywhere (default)</a></li> <li><a href="#"><span class="token item">ab:</span><span>  </span>review text</a></li> <li><a href="#"><span class="token item">an:</span><span>  </span>zbmath id</a></li> <li><a href="#"><span class="token item">any:</span><span>  </span>anywhere</a></li> <li><a href="#"><span class="token item">au:</span><span>  </span>contributor name</a></li> <li><a href="#"><span class="token item">br:</span><span>  </span>biographic reference name</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>msc title</a></li> <li><a href="#"><span class="token item">dt:</span><span>  </span>document type</a></li> <li><a href="#"><span class="token item">doi:</span><span>  </span>doi</a></li> <li><a href="#"><span class="token item">en:</span><span>  </span>external id</a></li> <li><a href="#"><span class="token item">la:</span><span>  </span>language</a></li> <li><a href="#"><span class="token item">pu:</span><span>  </span>publisher</a></li> <li><a href="#"><span class="token item">py:</span><span>  </span>year</a></li> <li><a href="#"><span class="token item">rv:</span><span>  </span>reviewer name</a></li> <li><a href="#"><span class="token item">so:</span><span>  </span>source</a></li> <li><a href="#"><span class="token item">sw:</span><span>  </span>software name</a></li> <li><a href="#"><span class="token item">ti:</span><span>  </span>title</a></li> <li><a href="#"><span class="token item">ut:</span><span>  </span>keyword</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a <span class="item">&</span> b </span><span> </span>logical and (default)</a></li> <li><a href="#"><span class="token">a <span class="item">|</span> b </span><span> </span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab   </span><span> </span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>  </span><span> </span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab c<span class="item">"</span></span><span> </span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab c<span class="item">)</span></span><span> </span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Geometry">Geometry</a></span> <span class="search-explanation" role="cell" role="cell">Search for the term <em>Geometry</em> in <strong>any</strong> field. Queries are <strong>case-independent</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Funct%2A">Funct*</a></span> <span class="search-explanation" role="cell"><strong>Wildcard</strong> queries are specified by <strong><u>*</u></strong> (e.g. <em>functions</em>, <em>functorial</em>, etc.). Otherwise the search is <strong>exact</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Topological+group%22">"Topological group"</a></span> <span class="search-explanation" role="cell"><strong>Phrases</strong> (multi-words) should be set in <u>"</u>straight quotation marks<u>"</u>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Bourbaki+%26+ti%3A+Algebra">au: Bourbaki & ti: Algebra</a></span> <span class="search-explanation" role="cell">Search for <strong><u>au</u>thor</strong> and <strong><u>ti</u>tle</strong>. The <strong>and-operator &</strong> is default and can be omitted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Chebyshev+%7C+Tschebyscheff">Chebyshev | Tschebyscheff</a></span> <span class="search-explanation" role="cell">The <strong>or-operator |</strong> allows to search for <em>Chebyshev</em> or <em>Tschebyscheff</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Quasi%2A+map%2A+py%3A+1989">Quasi* map* py: 1989</a></span> <span class="search-explanation" role="cell">The resulting documents have <strong><u>p</u>ublication <u>y</u>ear</strong> <em>1989</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=so%3A+Eur%2A+J%2A+Mat%2A+Soc%2A+cc%3A+14">so: Eur* J* Mat* Soc* cc: 14</a></span> <span class="search-explanation" role="cell">Search for publications in a particular <strong><u>so</u>urce</strong> with a <strong>Mathematics Subject <u>C</u>lassification <u>c</u>ode (<u>cc</u>)</strong> in <em>14</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Partial+diff%2A+eq%2A%22+%21+elliptic">"Partial diff* eq*" ! elliptic</a></span> <span class="search-explanation" role="cell">The <strong>not</strong>-operator <strong>!</strong> eliminates all results containing the word <em>elliptic</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=dt%3A+b+%26+au%3A+Hilbert">dt: b & au: Hilbert</a></span> <span class="search-explanation" role="cell">The <strong><u>d</u>ocument <u>t</u>ype</strong> is set to books; alternatively: <u>j</u> for <strong>journal articles</strong>, <u>a</u> for <strong>book articles</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=py%3A+2000-2015+cc%3A+%2894A+%7C+11T%29">py: 2000-2015 cc: (94A | 11T)</a></span> <span class="search-explanation" role="cell">Number <strong>ranges</strong> are accepted. Terms can be grouped within <strong><u>(</u>parentheses<u>)</u></strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=la%3A+chinese">la: chinese</a></span> <span class="search-explanation" role="cell">Find documents in a given <strong><u>la</u>nguage</strong>. <a href="http://en.wikipedia.org/wiki/ISO_639-1">ISO 639-1</a> language codes can also be used.</span> </div> </div> <div id="help-fields"> <h2>Fields</h2> <table> <tr> <td class="nowrap padding" role="rowheader"><strong>any</strong></td> <td class="padding">anywhere</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>an</strong></td> <td class="padding">internal document identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>au</strong></td> <td class="padding">author, editor</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ai</strong></td> <td class="padding">internal author identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ti</strong></td> <td class="padding">title</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>la</strong></td> <td class="padding">language</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>so</strong></td> <td class="padding">source</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ab</strong></td> <td class="padding">review, abstract</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>py</strong></td> <td class="padding">publication year</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>rv</strong></td> <td class="padding">reviewer</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>cc</strong></td> <td class="padding">MSC code</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ut</strong></td> <td class="padding">uncontrolled term</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>dt</strong></td> <td class="padding" colspan="4">document type (<strong>j</strong>: journal article; <strong>b</strong>: book; <strong>a</strong>: book article)</td> </tr> </table> </div> <div id="help-operators"> <h2>Operators</h2> <table> <tr> <td class="nowrap padding" role="rowheader">a <strong>&</strong> b</td> <td class="padding">logic and</td> </tr> <tr> <td class="nowrap padding" role="rowheader">a <strong>|</strong> b</td> <td class="padding">logic or</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>!</strong>ab</td> <td class="padding">logic not</td> </tr> <tr> <td class="nowrap padding" role="rowheader">abc<strong>*</strong></td> <td class="padding">right wildcard</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>"</strong>ab c<strong>"</strong></td> <td class="padding">phrase</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>(</strong>ab c<strong>)</strong></td> <td class="padding">parentheses</td> </tr> </table> </div> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> <div class="clearfix"></div> </div> <div class="content-option"><div class="navigation"> <div class="function input-group"> <div class="btn-group"> <button name="mark" value="mark" class="btn btn-default btn-xs mark-btn" type="button"><strong>Mark All</strong></button> <div class="btn-group display-marked-items"> <button type="button" class="btn btn-default btn-xs dropdown-toggle" data-toggle="dropdown"> <strong>Display Marked Items</strong> <span class="caret"></span> </button> <span id="display-query" class="tex2jax_ignore" style="display: none;">ut:uncertainty sw:BLOG</span> <span id="display-formula" style="display: none;"></span> <span id="display-start" style="display: none;">0</span> <span id="display-count" style="display: none;">100</span> <span id="display-format" style="display: none;">mathjax</span> <span id="display-ranking" style="display: none;">date</span> <ul class="dropdown-menu"> <li> <a href="#" class="display-html">HTML</a> </li> <li> <a href="#" class="display-pdf-short">PDF (short)</a> </li> <li> <a href="#" class="display-pdf-long">PDF (long)</a> </li> <li> <a href="#" class="display-latexci">LaTeX Citation</a> </li> <li> <a href="#" class="display-bibtex">BibTeX</a> </li> <li> <a href="#" class="display-amsrefs">AMSRef</a> </li> </ul> </div> </div> </div> <div class="page-navigation"> <span class="title"> Page <strong>1</strong> of <strong>1</strong> </span> <div class="pages btn-group"> <a class="btn btn-default btn-xs first disabled" tabindex="-1" type="button" href="/?q=ut%3Auncertainty+sw%3ABLOG" title="">First</a> <a class="btn btn-default btn-xs previous disabled" tabindex="-1" type="button" href="/?q=ut%3Auncertainty+sw%3ABLOG" title="">Prev</a> <a class="btn btn-default btn-xs page" type="button" href="/?q=ut%3Auncertainty+sw%3ABLOG" title="">&diams;</a> <a class="btn btn-default btn-xs next disabled" tabindex="-1" type="button" href="/?q=ut%3Auncertainty+sw%3ABLOG" title="">Next</a> <a class="btn btn-default btn-xs last disabled" tabindex="-1" type="button" href="/?q=ut%3Auncertainty+sw%3ABLOG" title="">Last</a> </div> </div> <div class="ranking"> <input type="checkbox" name="r" id="ranking" value="xx"><span> Sorting</span> </div> <div class="clearfix"></div> </div> <div class="clearfix"></div></div> <div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="documents"> <div class="content-main" role="list" style="padding-top: 20px;"> <div class="content-title"> <div class="head"> <h2>Found 17 Documents <small>(Results 1–17)</small> </h2> </div> </div> <div class="content-clear"></div> <section class="content-result" role="list"><div class="meta row"> <div class="count col-sm-4 col-sm-offset-8"> <div class="function btn-group" style="float: right;" role="group" aria-label="sort by"> <a class="btn btn-default btn-xs active " title="sort by date">Newest</a> <a class="btn btn-default btn-xs " href="/?q=ut%3Auncertainty+sw%3ABLOG&r=references " title="sort by number of citations">Citations</a> <a class="btn btn-default btn-xs " href="/?q=ut%3Auncertainty+sw%3ABLOG&r=relevance " title="sort by relevance">Relevance</a> </div> </div> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7910877" value="7910877" aria-label="mark item Zbl 1547.68732"></div> <div class="author"><a href="/authors/gagliardi-cozman.fabio" title="Author Profile">Cozman, Fabio Gagliardi</a></div> <h3 class="title"> <a href="/1547.68732"><strong>Languages for probabilistic modeling over structured and relational domains.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1547.68732">Zbl 1547.68732</a> </h3> <div class="source"> Marquis, Pierre (ed.) et al., A guided tour of artificial intelligence research. Volume II. AI algorithms. Cham: Springer. 247-283 (2020). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A62H22" title="Probabilistic graphical models">62H22</a> <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1547.68732" data-ciurl="/ci/07910877" data-biburl="/bibtex/07910877.bib" data-amsurl="/amsrefs/07910877.bib" data-xmlurl="/xml/07910877.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07910877.pdf" title="Zbl 1547.68732 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-030-06167-8_9" aria-label="DOI for “Languages for probabilistic modeling over structured and relational domains”" title="10.1007/978-3-030-06167-8_9">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7530708" value="7530708" aria-label="mark item Zbl 1494.03078"></div> <div class="author"><a href="/authors/szalas.andrzej" title="Author Profile">Szałas, Andrzej</a></div> <h3 class="title"> <a href="/1494.03078"><strong>On the probability and cost of ignorance, inconsistency, nonsense and more.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1494.03078">Zbl 1494.03078</a> </h3> <div class="source"> <a href="/serials/3084" title="Journal Profile">J. Mult.-Val. Log. Soft Comput.</a> <a href="/?q=in%3A482245" title="Articles in this Issue">34, No. 5-6, 423-450 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B70" title="Logic in computer science">03B70</a> <a class="mono" href="/classification/?q=cc%3A03B50" title="Many-valued logic">03B50</a> <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> <a class="mono" href="/classification/?q=cc%3A68N17" title="Logic programming">68N17</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1494.03078" data-ciurl="/ci/07530708" data-biburl="/bibtex/07530708.bib" data-amsurl="/amsrefs/07530708.bib" data-xmlurl="/xml/07530708.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07530708.pdf" title="Zbl 1494.03078 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-34-number-5-6-2020/mvlsc-34-5-6-p-423-450/" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7264287" value="7264287" aria-label="mark item Zbl 1490.68229"></div> <div class="author"><a href="/authors/maua.denis-deratani" title="Author Profile">Mauá, Denis Deratani</a>; <a href="/authors/gagliardi-cozman.fabio" title="Author Profile">Cozman, Fabio Gagliardi</a></div> <h3 class="title"> <a href="/1490.68229"><strong>Thirty years of credal networks: specification, algorithms and complexity.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1490.68229">Zbl 1490.68229</a> </h3> <div class="source"> <a href="/serials/1181" title="Journal Profile">Int. J. Approx. Reasoning</a> <a href="/?q=in%3A454398" title="Articles in this Issue">126, 133-157 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A62H22" title="Probabilistic graphical models">62H22</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1490.68229" data-ciurl="/ci/07264287" data-biburl="/bibtex/07264287.bib" data-amsurl="/amsrefs/07264287.bib" data-xmlurl="/xml/07264287.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07264287.pdf" title="Zbl 1490.68229 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.ijar.2020.08.009" aria-label="DOI for “Thirty years of credal networks: specification, algorithms and complexity”" title="10.1016/j.ijar.2020.08.009">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7176856" value="7176856" aria-label="mark item Zbl 1435.68311"></div> <div class="author"><a href="/authors/belle.vaishak" title="Author Profile">Belle, Vaishak</a>; <a href="/authors/levesque.hector-j" title="Author Profile">Levesque, Hector J.</a></div> <h3 class="title"> <a href="/1435.68311"><strong>Regression and progression in stochastic domains.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1435.68311">Zbl 1435.68311</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A447365" title="Articles in this Issue">281, Article ID 103247, 28 p. (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A68T40" title="Artificial intelligence for robotics">68T40</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1435.68311" data-ciurl="/ci/07176856" data-biburl="/bibtex/07176856.bib" data-amsurl="/amsrefs/07176856.bib" data-xmlurl="/xml/07176856.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07176856.pdf" title="Zbl 1435.68311 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2020.103247" aria-label="DOI for “Regression and progression in stochastic domains”" title="10.1016/j.artint.2020.103247">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://www.pure.ed.ac.uk/ws/files/132362762/Regression_and_Progression_BELLE_DOA25012020_AFV.pdf" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7153705" value="7153705" aria-label="mark item Zbl 1478.68322"></div> <div class="author"><a href="/authors/henderson.thomas-c" title="Author Profile">Henderson, T. C.</a>; <a href="/authors/?q=ai%3Asimmons.ryan-a%7Csimmons.reid-g%7Csimmons.robert-jun%7Csimmons.rob" title="Author Profile">Simmons, R.</a>; <a href="/authors/serbinowski.bernard" title="Author Profile">Serbinowski, B.</a>; <a href="/authors/cline.melissa-s" title="Author Profile">Cline, M.</a>; <a href="/authors/sacharny.d" title="Author Profile">Sacharny, D.</a>; <a href="/authors/fan.xiuyi" title="Author Profile">Fan, X.</a>; <a href="/authors/mitiche.amar" title="Author Profile">Mitiche, A.</a></div> <h3 class="title"> <a href="/1478.68322"><strong>Probabilistic sentence satisfiability: an approach to PSAT.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1478.68322">Zbl 1478.68322</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A444215" title="Articles in this Issue">278, Article ID 103199, 15 p. (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1478.68322" data-ciurl="/ci/07153705" data-biburl="/bibtex/07153705.bib" data-amsurl="/amsrefs/07153705.bib" data-xmlurl="/xml/07153705.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07153705.pdf" title="Zbl 1478.68322 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2019.103199" aria-label="DOI for “Probabilistic sentence satisfiability: an approach to PSAT”" title="10.1016/j.artint.2019.103199">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://cronfa.swan.ac.uk/Record/cronfa52818" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7003567" value="7003567" aria-label="mark item Zbl 1451.68254"></div> <div class="author"><a href="/authors/belle.vaishak" title="Author Profile">Belle, Vaishak</a>; <a href="/authors/levesque.hector-j" title="Author Profile">Levesque, Hector J.</a></div> <h3 class="title"> <a href="/1451.68254"><strong>Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1451.68254">Zbl 1451.68254</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A426310" title="Articles in this Issue">262, 189-221 (2018)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A68T40" title="Artificial intelligence for robotics">68T40</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1451.68254" data-ciurl="/ci/07003567" data-biburl="/bibtex/07003567.bib" data-amsurl="/amsrefs/07003567.bib" data-xmlurl="/xml/07003567.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07003567.pdf" title="Zbl 1451.68254 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2018.06.003" aria-label="DOI for “Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems”" title="10.1016/j.artint.2018.06.003">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1809.05314"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="http://www.pure.ed.ac.uk/ws/files/64649584/Reasoning_about_discrete_and_continuous_noisy_sensors_and_effectors_in_dynamical_systems.pdf" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6810569" value="6810569" aria-label="mark item Zbl 1419.68141"></div> <div class="author"><a href="/authors/carvalho.rommel-n" title="Author Profile">Carvalho, Rommel N.</a>; <a href="/authors/laskey.kathryn-b" title="Author Profile">Laskey, Kathryn B.</a>; <a href="/authors/costa.paulo-c-g" title="Author Profile">Costa, Paulo C. G.</a></div> <h3 class="title"> <a href="/1419.68141"><strong>PR-OWL - a language for defining probabilistic ontologies.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1419.68141">Zbl 1419.68141</a> </h3> <div class="source"> <a href="/serials/1181" title="Journal Profile">Int. J. Approx. Reasoning</a> <a href="/?q=in%3A372012" title="Articles in this Issue">91, 56-79 (2017)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1419.68141" data-ciurl="/ci/06810569" data-biburl="/bibtex/06810569.bib" data-amsurl="/amsrefs/06810569.bib" data-xmlurl="/xml/06810569.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06810569.pdf" title="Zbl 1419.68141 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.ijar.2017.08.011" aria-label="DOI for “PR-OWL - a language for defining probabilistic ontologies”" title="10.1016/j.ijar.2017.08.011">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6639844" value="6639844" aria-label="mark item Zbl 1386.68174"></div> <div class="author"><a href="/authors/vlasselaer.jonas" title="Author Profile">Vlasselaer, Jonas</a>; <a href="/authors/van-den-broeck.guy" title="Author Profile">Van den Broeck, Guy</a>; <a href="/authors/kimmig.angelika" title="Author Profile">Kimmig, Angelika</a>; <a href="/authors/meert.wannes" title="Author Profile">Meert, Wannes</a>; <a href="/authors/de-raedt.luc" title="Author Profile">De Raedt, Luc</a></div> <h3 class="title"> <a href="/1386.68174"><strong>$T_{\mathcal{P}}$-compilation for inference in probabilistic logic programs.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1386.68174">Zbl 1386.68174</a> </h3> <div class="source"> <a href="/serials/1181" title="Journal Profile">Int. J. Approx. Reasoning</a> <a href="/?q=in%3A359710" title="Articles in this Issue">78, 15-32 (2016)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A68N17" title="Logic programming">68N17</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1386.68174" data-ciurl="/ci/06639844" data-biburl="/bibtex/06639844.bib" data-amsurl="/amsrefs/06639844.bib" data-xmlurl="/xml/06639844.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06639844.pdf" title="Zbl 1386.68174 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.ijar.2016.06.009" aria-label="DOI for “$T_{\mathcal{P}}$-compilation for inference in probabilistic logic programs”" title="10.1016/j.ijar.2016.06.009">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://orca.cardiff.ac.uk/id/eprint/106734/1/vlasselaer-ijar16.pdf" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6523982" value="6523982" aria-label="mark item Zbl 1388.68274"></div> <div class="author"><a href="/authors/belle.vaishak" title="Author Profile">Belle, Vaishak</a>; <a href="/authors/levesque.hector-j" title="Author Profile">Levesque, Hector J.</a></div> <h3 class="title"> <a href="/1388.68274"><strong>Robot location estimation in the situation calculus.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1388.68274">Zbl 1388.68274</a> </h3> <div class="source"> <a href="/serials/3118" title="Journal Profile">J. Appl. Log.</a> <a href="/?q=in%3A350934" title="Articles in this Issue">13, No. 4, Part 1, 397-413 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T40" title="Artificial intelligence for robotics">68T40</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1388.68274" data-ciurl="/ci/06523982" data-biburl="/bibtex/06523982.bib" data-amsurl="/amsrefs/06523982.bib" data-xmlurl="/xml/06523982.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06523982.pdf" title="Zbl 1388.68274 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jal.2015.02.004" aria-label="DOI for “Robot location estimation in the situation calculus”" title="10.1016/j.jal.2015.02.004">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1402.7276"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6518539" value="6518539" aria-label="mark item Zbl 1346.68054"></div> <div class="author"><a href="/authors/michels.steffen" title="Author Profile">Michels, Steffen</a>; <a href="/authors/hommersom.arjen" title="Author Profile">Hommersom, Arjen</a>; <a href="/authors/lucas.peter-j-f" title="Author Profile">Lucas, Peter J. F.</a>; <a href="/authors/velikova.marina" title="Author Profile">Velikova, Marina</a></div> <h3 class="title"> <a href="/1346.68054"><strong>A new probabilistic constraint logic programming language based on a generalised distribution semantics.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1346.68054">Zbl 1346.68054</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A350460" title="Articles in this Issue">228, 1-44 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68N17" title="Logic programming">68N17</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1346.68054" data-ciurl="/ci/06518539" data-biburl="/bibtex/06518539.bib" data-amsurl="/amsrefs/06518539.bib" data-xmlurl="/xml/06518539.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06518539.pdf" title="Zbl 1346.68054 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2015.06.008" aria-label="DOI for “A new probabilistic constraint logic programming language based on a generalised distribution semantics”" title="10.1016/j.artint.2015.06.008">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6286739" value="6286739" aria-label="mark item Zbl 1284.03161"></div> <div class="author"><a href="/authors/hutter.marcus" title="Author Profile">Hutter, Marcus</a>; <a href="/authors/lloyd.john-wylie" title="Author Profile">Lloyd, John W.</a>; <a href="/authors/ng.kee-siong" title="Author Profile">Ng, Kee Siong</a>; <a href="/authors/uther.william-t-b" title="Author Profile">Uther, William T. B.</a></div> <h3 class="title"> <a href="/1284.03161"><strong>Probabilities on sentences in an expressive logic.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1284.03161">Zbl 1284.03161</a> </h3> <div class="source"> <a href="/serials/3118" title="Journal Profile">J. Appl. Log.</a> <a href="/?q=in%3A331844" title="Articles in this Issue">11, No. 4, 386-420 (2013)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1284.03161" data-ciurl="/ci/06286739" data-biburl="/bibtex/06286739.bib" data-amsurl="/amsrefs/06286739.bib" data-xmlurl="/xml/06286739.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06286739.pdf" title="Zbl 1284.03161 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jal.2013.03.003" aria-label="DOI for “Probabilities on sentences in an expressive logic”" title="10.1016/j.jal.2013.03.003">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1209.2620"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6053228" value="6053228" aria-label="mark item Zbl 1242.68323"></div> <div class="author"><a href="/authors/chiang.michael" title="Author Profile">Chiang, Michael</a>; <a href="/authors/?q=ai%3Apoole.david-g%7Cpoole.david-l" title="Author Profile">Poole, David</a></div> <h3 class="title"> <a href="/1242.68323"><strong>Reference classes and relational learning.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1242.68323">Zbl 1242.68323</a> </h3> <div class="source"> <a href="/serials/1181" title="Journal Profile">Int. J. Approx. Reasoning</a> <a href="/?q=in%3A298050" title="Articles in this Issue">53, No. 3, 326-346 (2012)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1242.68323" data-ciurl="/ci/06053228" data-biburl="/bibtex/06053228.bib" data-amsurl="/amsrefs/06053228.bib" data-xmlurl="/xml/06053228.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06053228.pdf" title="Zbl 1242.68323 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.ijar.2011.05.002" aria-label="DOI for “Reference classes and relational learning”" title="10.1016/j.ijar.2011.05.002">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5589012" value="5589012" aria-label="mark item Zbl 1174.03006"></div> <div class="author"><a href="/authors/ng.kee-siong" title="Author Profile">Ng, K. S.</a>; <a href="/authors/lloyd.john-wylie" title="Author Profile">Lloyd, J. W.</a></div> <h3 class="title"> <a href="/1174.03006"><strong>Probabilistic reasoning in a classical logic.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1174.03006">Zbl 1174.03006</a> </h3> <div class="source"> <a href="/serials/3118" title="Journal Profile">J. Appl. Log.</a> <a href="/?q=in%3A250292" title="Articles in this Issue">7, No. 2, 218-238 (2009)</a>. </div> <div class="reviewer"> Reviewer: <a href="/authors/?q=rv%3A12469">Jürgen Landes (Narbonne)</a></div> <div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> <span class="mono" title="Higher-order logic; type theory (MSC2010)">03B15</span> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1174.03006" data-ciurl="/ci/05589012" data-biburl="/bibtex/05589012.bib" data-amsurl="/amsrefs/05589012.bib" data-xmlurl="/xml/05589012.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05589012.pdf" title="Zbl 1174.03006 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jal.2007.11.008" aria-label="DOI for “Probabilistic reasoning in a classical logic”" title="10.1016/j.jal.2007.11.008">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://hdl.handle.net/1885/38330" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5589007" value="5589007" aria-label="mark item Zbl 1172.03316"></div> <div class="author"><a href="/authors/de-campos.cassio-polpo" title="Author Profile">de Campos, Cassio Polpo</a>; <a href="/authors/gagliardi-cozman.fabio" title="Author Profile">Cozman, Fabio Gagliardi</a>; <a href="/authors/luna.jose-eduardo-ochoa" title="Author Profile">Luna, José Eduardo Ochoa</a></div> <h3 class="title"> <a href="/1172.03316"><strong>Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1172.03316">Zbl 1172.03316</a> </h3> <div class="source"> <a href="/serials/3118" title="Journal Profile">J. Appl. Log.</a> <a href="/?q=in%3A250292" title="Articles in this Issue">7, No. 2, 137-154 (2009)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1172.03316" data-ciurl="/ci/05589007" data-biburl="/bibtex/05589007.bib" data-amsurl="/amsrefs/05589007.bib" data-xmlurl="/xml/05589007.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05589007.pdf" title="Zbl 1172.03316 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jal.2007.11.002" aria-label="DOI for “Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence”" title="10.1016/j.jal.2007.11.002">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://www.eeecs.qub.ac.uk/~c.decampos/publist/papers/decampos2009d.pdf" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5604828" value="5604828" aria-label="mark item Zbl 1178.68589"></div> <div class="author"><a href="/authors/ng.kee-siong" title="Author Profile">Ng, K. S.</a>; <a href="/authors/lloyd.john-wylie" title="Author Profile">Lloyd, J. W.</a>; <a href="/authors/uther.william-t-b" title="Author Profile">Uther, W. T. B.</a></div> <h3 class="title"> <a href="/1178.68589"><strong>Probabilistic modelling, inference and learning using logical theories.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1178.68589">Zbl 1178.68589</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A252781" title="Articles in this Issue">54, No. 1-3, 159-205 (2008)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A68T05" title="Learning and adaptive systems in artificial intelligence">68T05</a> <a class="mono" href="/classification/?q=cc%3A03B48" title="Probability and inductive logic">03B48</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1178.68589" data-ciurl="/ci/05604828" data-biburl="/bibtex/05604828.bib" data-amsurl="/amsrefs/05604828.bib" data-xmlurl="/xml/05604828.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05604828.pdf" title="Zbl 1178.68589 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-009-9136-7" aria-label="DOI for “Probabilistic modelling, inference and learning using logical theories”" title="10.1007/s10472-009-9136-7">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5604824" value="5604824" aria-label="mark item Zbl 1176.68200"></div> <div class="author"><a href="/authors/mateescu.robert" title="Author Profile">Mateescu, Robert</a>; <a href="/authors/dechter.rina" title="Author Profile">Dechter, Rina</a></div> <h3 class="title"> <a href="/1176.68200"><strong>Mixed deterministic and probabilistic networks.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1176.68200">Zbl 1176.68200</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A252781" title="Articles in this Issue">54, No. 1-3, 3-51 (2008)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> <a class="mono" href="/classification/?q=cc%3A62F30" title="Parametric inference under constraints">62F30</a> <a class="mono" href="/classification/?q=cc%3A62F15" title="Bayesian inference">62F15</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1176.68200" data-ciurl="/ci/05604824" data-biburl="/bibtex/05604824.bib" data-amsurl="/amsrefs/05604824.bib" data-xmlurl="/xml/05604824.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05604824.pdf" title="Zbl 1176.68200 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-009-9132-y" aria-label="DOI for “Mixed deterministic and probabilistic networks”" title="10.1007/s10472-009-9132-y">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://europepmc.org/articles/pmc2963443" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5580246" value="5580246" aria-label="mark item Zbl 1182.68288"></div> <div class="author"><a href="/authors/blackmond-laskey.kathryn" title="Author Profile">Laskey, Kathryn Blackmond</a></div> <h3 class="title"> <a href="/1182.68288"><strong>MEBN: a language for first-order Bayesian knowledge bases.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1182.68288">Zbl 1182.68288</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A251003" title="Articles in this Issue">172, No. 2-3, 140-178 (2008)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T37" title="Reasoning under uncertainty in the context of artificial intelligence">68T37</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1182.68288" data-ciurl="/ci/05580246" data-biburl="/bibtex/05580246.bib" data-amsurl="/amsrefs/05580246.bib" data-xmlurl="/xml/05580246.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05580246.pdf" title="Zbl 1182.68288 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2007.09.006" aria-label="DOI for “MEBN: a language for first-order Bayesian knowledge bases”" title="10.1016/j.artint.2007.09.006">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div></section> <section class="content-filter"><h2 class="filters-caption">Filter Results by …</h2> <div class="filter filter-dt"> <h3 class="filter-caption">Document Type</h3> <ul><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+dt%3Aj" title="Articles in Journals">Journal Articles</a> (16) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+dt%3Aa" title="Articles in Conference Proceedings and Collected Volumes">Collection Articles</a> (1) </li></ul> </div> <div class="filter filter-ai"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Author</h3> <ul><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Abelle.vaishak">Belle, Vaishak</a> (3) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Agagliardi-cozman.fabio">Gagliardi Cozman, Fabio</a> (3) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Alevesque.hector-j">Levesque, Hector J.</a> (3) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Alloyd.john-wylie">Lloyd, John Wylie</a> (3) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ang.kee-siong">Ng, Kee Siong</a> (3) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Auther.william-t-b">Uther, William T. B.</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ablackmond-laskey.kathryn">Blackmond Laskey, Kathryn</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Acarvalho.rommel-n">Carvalho, Rommel N.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Achiang.michael">Chiang, Michael</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Acline.melissa-s">Cline, Melissa S.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Acosta.paulo-c-g">Costa, Paulo C. G.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ade-campos.cassio-polpo">de Campos, Cassio Polpo</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ade-raedt.luc">De Raedt, Luc</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Adechter.rina">Dechter, Rina</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Afan.xiuyi">Fan, Xiuyi</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ahenderson.thomas-c">Henderson, Thomas C.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ahommersom.arjen">Hommersom, Arjen</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ahutter.marcus">Hutter, Marcus</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Akimmig.angelika">Kimmig, Angelika</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Alaskey.kathryn-b">Laskey, Kathryn B.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Alucas.peter-j-f">Lucas, Peter J. F.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Aluna.jose-eduardo-ochoa">Luna, José Eduardo Ochoa</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Amateescu.robert">Mateescu, Robert</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Amaua.denis-deratani">Mauá, Denis Deratani</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Ameert.wannes">Meert, Wannes</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Amichels.steffen">Michels, Steffen</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Amitiche.amar">Mitiche, Amar</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Asacharny.d">Sacharny, D.</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Aserbinowski.bernard">Serbinowski, Bernard</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Aszalas.andrzej">Szałas, Andrzej</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Avan-den-broeck.guy">Van Den Broeck, Guy</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Avelikova.marina">Velikova, Marina</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+ai%3Avlasselaer.jonas">Vlasselaer, Jonas</a> (1) </li></ul> </div> <div class="filter filter-se"><h3 class="filter-caption">Serial</h3> <ul> <li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+se%3A34" title="Artificial Intelligence">Artif. Intell. </a> (5)</li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+se%3A1181" title="International Journal of Approximate Reasoning">Int. J. Approx. Reasoning </a> (4)</li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+se%3A3118" title="Journal of Applied Logic">J. Appl. Log. </a> (4)</li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+se%3A2122" title="Annals of Mathematics and Artificial Intelligence">Ann. Math. Artif. Intell. </a> (2)</li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+se%3A3084" title="Journal of Multiple-Valued Logic and Soft Computing">J. Mult.-Val. Log. Soft Comput. </a> (1)</li></ul> </div> <div class="filter filter-py"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Year of Publication</h3> <ul><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2020">2020</a> (5) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2018">2018</a> (1) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2017">2017</a> (1) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2016">2016</a> (1) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2015">2015</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2013">2013</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2012">2012</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2009">2009</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+py%3A2008">2008</a> (3) </li> </ul> </div> <div class="filter filter-cc"><h3 class="filter-caption">Main Field</h3> <ul><li> <a class="" href="/?q=ut%3Auncertainty+sw%3ABLOG+cc%3A68" title="Computer science">68-XX </a> (17) </li><li> <a class="" href="/?q=ut%3Auncertainty+sw%3ABLOG+cc%3A03" title="Mathematical logic and foundations">03-XX </a> (6) </li><li> <a class="" href="/?q=ut%3Auncertainty+sw%3ABLOG+cc%3A62" title="Statistics">62-XX </a> (3) </li></ul> </div> <div class="filter filter-sw"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 3 <i class="caret"></i></a><h3 class="filter-caption">Software</h3> <ul><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ABLOG">BLOG</a> (17) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AChurch">Church</a> (5) </li><li> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AProbLog">ProbLog</a> (5) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AIBAL">IBAL</a> (4) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AMEBN">MEBN</a> (4) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APRISM">PRISM</a> (4) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ABUGS">BUGS</a> (3) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ACP-logic">CP-logic</a> (3) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AETPS">ETPS</a> (3) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APREGO">PREGO</a> (3) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ABayesOWL">BayesOWL</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AFACTORIE">FACTORIE</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AGOLOG">GOLOG</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APR-OWL">PR-OWL</a> (2) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ABRECCIA">BRECCIA</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AChaff">Chaff</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ADsharp">Dsharp</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AFigaro">Figaro</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AGenPSAT">GenPSAT</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AHakaru">Hakaru</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AHaskell">Haskell</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AInfer.NET">Infer.NET</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ANUTS">NUTS</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APITA">PITA</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APMTK">PMTK</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APRMLT">PRMLT</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APyMC">PyMC</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3APython">Python</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ASPINE">SPINE</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AStan">Stan</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AStanford+Tagger">Stanford Tagger</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3ASwift">Swift</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AUnBBayes">UnBBayes</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3AYices">Yices</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3Alrs">lrs</a> (1) </li><li class="more"> <a href="/?q=ut%3Auncertainty+sw%3ABLOG+sw%3Az3">z3</a> (1) </li></ul> </div> </section> <div class="content-clear"></div> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

Document Search Results - zbMATH Open