Filters








9,395 Hits in 2.8 sec

Distance-based non-deterministic semantics for reasoning with uncertainty

O. Arieli, A. Zamansky
<span title="2009-06-07">2009</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mwzmwwmscfe4vnzrjlt5itd2ju" style="color: black;">Logic Journal of the IGPL</a> </i> &nbsp;
We show that by combining non-deterministic matrices and distance-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty.  ...  We investigate the basic properties of the distance-preferential non-deterministic logics, consider their application for reasoning with incomplete and inconsistent information, and show the correspondence  ...  Summary and Future Work In this paper, we introduced a general framework for reasoning with uncertainty, in which non-deterministic semantics is augmented with distance-based considerations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/jzp014">doi:10.1093/jigpal/jzp014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/itt6twald5aqjm65f4tkvqheaa">fatcat:itt6twald5aqjm65f4tkvqheaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151127182105/http://www2.mta.ac.il/~oarieli/Papers/jigpl09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/7a/ff7a01fc375710d56bb00b67e213f310d7e418eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/jzp014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data [chapter]

Ofer Arieli, Anna Zamansky
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This framework is composed of non-deterministic semantic structures and distance-based considerations.  ...  We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information.  ...  The robustness of what is obtained for reasoning with uncertainty is demonstrated in the context of model-based diagnosis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02906-6_68">doi:10.1007/978-3-642-02906-6_68</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zimvb63lffdvxbxnou5cf3rv4a">fatcat:zimvb63lffdvxbxnou5cf3rv4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120610084821/http://www2.mta.ac.il:80/~oarieli/Papers/ecsqaru09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/32/2632db5f3ad4f78f6d14e67b15b5ea7c6afc389a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02906-6_68"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A framework for reasoning under uncertainty based on non-deterministic distance semantics

Ofer Arieli, Anna Zamansky
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sy2zvsxl4vdejh3zsp3utmplry" style="color: black;">International Journal of Approximate Reasoning</a> </i> &nbsp;
Our framework is composed of non-deterministic semantic structures and distance-based considerations.  ...  In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information.  ...  The main contribution of this paper is the investigation of new types of two-valued semantic structures in the context of distance-based non-deterministic reasoning with uncertainty.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ijar.2010.07.006">doi:10.1016/j.ijar.2010.07.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m62ncyqbgzda5jwoentshzbza4">fatcat:m62ncyqbgzda5jwoentshzbza4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190416034132/https://core.ac.uk/download/pdf/82822343.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/1d/e51d4521e6d0ce0b512aef8da2e0ef6e235b1439.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ijar.2010.07.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Similarity-Based Inconsistency-Tolerant Logics [chapter]

Ofer Arieli, Anna Zamansky
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
usefulness for reasoning with inconsistency.  ...  We exemplify our method for three of the most common denotational semantics (standard many-valued matrices, their non-deterministic generalization, and possible worlds semantics), and demonstrate their  ...  Such a semantics cannot be useful in capturing non-deterministic phenomena.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15675-5_4">doi:10.1007/978-3-642-15675-5_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zwg3rcsqdvaxnnnilxj4ifdep4">fatcat:zwg3rcsqdvaxnnnilxj4ifdep4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151127182120/http://www2.mta.ac.il/~oarieli/Papers/jelia10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/2e/612e7663acc3d7c6b8b8436ec7d80e47b931601d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15675-5_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Uncertainty Modeling Framework for Constraint-Based Elementary Scenario Detection in Vision Systems [chapter]

Carlos Fernando Crispim-Junior, Francois Bremond
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Ontology and description-based approaches can explicitly embed scene semantics, but their deterministic nature is susceptible to noise from underlying components of vision systems.  ...  We propose a probabilistic framework to handle uncertainty on a constraint-based ontology framework for event detection.  ...  By combining both frameworks we allow domain expert to provide event models following a deterministic process, while probabilistic reasoning is performed in second plan to cope with the uncertainty in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-16181-5_19">doi:10.1007/978-3-319-16181-5_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bmxdkzmvu5cflfekyy73au3rou">fatcat:bmxdkzmvu5cflfekyy73au3rou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829155607/http://www-sop.inria.fr/members/Francois.Bremond/Postscript/carlos_contact2014.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/c2/99c26e7a1856882d3a7e097624dab80d94e3598c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-16181-5_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Reasoning with Uncertainty by Nmatrix–Metric Semantics [chapter]

Ofer Arieli, Anna Zamansky
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Distance-Based Non-Deterministic Semantics Non-Deterministic Matrices In what follows, L denotes a propositional language with a set Atoms of atomic formulas.  ...  We show that by combining Nmatrices and preferential metric-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty.  ...  Preferential Distance-Based Entailments Next, we augment non-deterministic semantics with preferential considerations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69937-8_8">doi:10.1007/978-3-540-69937-8_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b4tuebrg7nayho4hdz6r7xgfgu">fatcat:b4tuebrg7nayho4hdz6r7xgfgu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140813193524/http://www2.mta.ac.il/~oarieli/Papers/wollic08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/2e/e42e130fb6151e13dbbc7ce1ba270273233bfd07.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69937-8_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities [chapter]

Ofer Arieli, Anna Zamansky
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics.  ...  Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics.  ...  This function is one of the pseudo-distances that are introduced in [5] for distance-based reasoning for non-deterministic matrices.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28472-4_3">doi:10.1007/978-3-642-28472-4_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uxahvy4dmbbglgrgyxt7b5ekky">fatcat:uxahvy4dmbbglgrgyxt7b5ekky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131019162539/http://www2.mta.ac.il/~oarieli/Papers/foiks12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/26/422662c40143a24c543f0e8e8e04135d48185180.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28472-4_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Bridging Gaps Between Subjective Logic and Semantic Web [chapter]

Davide Ceolin, Archana Nottamkandath, Wan Fokkink
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
to obtain evidence useful for performing evidential reasoning based on subjective logic.  ...  In this chapter we describe three extensions and applications of subjective logic in the Semantic Web, namely: the use of deterministic and probabilistic semantic similarity measures for weighing subjective  ...  The deterministic ones are based on deterministic computations made, for example, on word graphs (e.g. WordNet [19] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-13413-0_13">doi:10.1007/978-3-319-13413-0_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pn6vj4nu3ndaxkoofb6aebbiqm">fatcat:pn6vj4nu3ndaxkoofb6aebbiqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812072806/http://www.few.vu.nl/~sna210/pubs/bridging-gaps.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/0d/ea0dec6c03b3f8d65f352f9737dd51de48622e75.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-13413-0_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A dissimilarity-based framework for generating inconsistency-tolerant logics

Ofer Arieli, Anna Zamansky
<span title="2013-02-14">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j2td7x4trvgx7pjoienrccryxq" style="color: black;">Annals of Mathematics and Artificial Intelligence</a> </i> &nbsp;
A common way of doing so is by incorporating distance-based considerations for concrete logics. So far this has been done mostly in the context of two-valued semantics.  ...  For this, we need to trade distances for the more general notion of dissimilarities.  ...  This kind of semantics has a variety of applications for reasoning under uncertainty (see, e.g., [12] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-013-9333-2">doi:10.1007/s10472-013-9333-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vgkcirn7iran5ozwn2jvm5t34a">fatcat:vgkcirn7iran5ozwn2jvm5t34a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140910052703/http://mis.hevra.haifa.ac.il/~annazam/publications/AMAI.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/55/bd559eeb4612435685b125b6f0f2e5441d0564ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-013-9333-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Simple Approach to Improve Single-Model Deep Uncertainty via Distance-Awareness [article]

Jeremiah Zhe Liu, Shreyas Padhy, Jie Ren, Zi Lin, Yeming Wen, Ghassen Jerfel, Zack Nado, Jasper Snoek, Dustin Tran, Balaji Lakshminarayanan
<span title="2022-05-01">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this work, we study principled approaches to improve uncertainty property of a single network, based on a single, deterministic representation.  ...  data, as a necessary condition for a DNN to achieve high-quality (i.e., minimax optimal) uncertainty estimation.  ...  Sculley, Kevin Murphy, Deepak Ramachandran for the insightful comments and fruitful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.00403v1">arXiv:2205.00403v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rhmaoiwiqzdspkkvqirkwkfcem">fatcat:rhmaoiwiqzdspkkvqirkwkfcem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220506172444/https://arxiv.org/pdf/2205.00403v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/e4/6ee4f85a9050c259a5a6e7fe31ae26660e09a7c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.00403v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Forthcoming Papers

<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
Liu, Consistency-based search in feature selection J.P. Delgrande and T. Schaub, A consistency-based approach for belief change  ...  This research has mainly taken one of two approaches: extend the classical planning paradigm to a semantics that admits uncertainty, or adopt another framework for approaching the problem, most commonly  ...  Both techniques interleave planning in deterministic domains with plan execution. They differ in how they make planning deterministic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(03)00084-5">doi:10.1016/s0004-3702(03)00084-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ywtleopcbffkdcwj5isyi7b6dq">fatcat:ywtleopcbffkdcwj5isyi7b6dq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927155440/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/55c/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDAwNDM3MDIwMzAwMDg0NQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/8a/aa8a4f340b791672c42492ad20a4aa469cca3981.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(03)00084-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Control Design for Risk-Based Signal Temporal Logic Specifications

Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers
<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/znarxrqppban5cgvtcmrjtonwm" style="color: black;">IEEE Control Systems Letters</a> </i> &nbsp;
We present a general framework for risk semantics on Signal Temporal Logic (STL) specifications for stochastic dynamical systems using axiomatic risk theory.  ...  We demonstrate the framework using a Model Predictive Control (MPC) design with an STL risk constraint.  ...  In addition to the Boolean satisfaction relation given for LTL and MITL specifications, one can associate quantitative semantics with an STL specification that allow to reason about how robustly (severely  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lcsys.2020.2998543">doi:10.1109/lcsys.2020.2998543</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/widbkyjccfe7vladg3k57sphwq">fatcat:widbkyjccfe7vladg3k57sphwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200924214852/https://arxiv.org/pdf/2006.00317v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/68/25/68258798b92b1f01dc897717db83b45395fb1c02.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lcsys.2020.2998543"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Non-deterministic planning methods for automated web service composition

George Markou, Ioannis Refanidis
<span title="2015-09-29">2015</span> <i title="Sciedu Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zr2wmo3glvdzdpurf5honbqn24" style="color: black;">Artificial intelligence research</a> </i> &nbsp;
Particularly, since web services operate in a stochastic environment, their output is not predictable, and the problem is formulated as a non-deterministic planning one.  ...  This article presents a critical, comprehensive and up-to-date review of the literature concerning alternative non-deterministic planning methods, including probabilistic planning, determinization methods  ...  For this reason, YoYO [54] combines the HTN-based search of ND-SHOP2 with BDD-based symbolic model checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5430/air.v5n1p14">doi:10.5430/air.v5n1p14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ph7cdzkc7vefni35ewcwc4inpq">fatcat:ph7cdzkc7vefni35ewcwc4inpq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720161858/http://www.sciedupress.com/journal/index.php/air/article/download/7152/4787" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/d5/ccd5db50e47598e244a6e71cc354f1f1a82b3bb2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5430/air.v5n1p14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Compositional Meaning in Logic

Carlos Caleiro, Luca Viganò
<span title="2017-08-08">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gp36pwr6ibegnm5ypnxzsznbia" style="color: black;">Logica Universalis</a> </i> &nbsp;
The Fregean-inspired Principle of Compositionality of Meaning (PoC) for formal languages asserts that the meaning of a compound expression is analysable in terms of the meaning of its constituents, taking  ...  Within the domain of formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally  ...  In particular, one of the main methods for developing Gentzen-type systems for non-classical logics is precisely to translate many-valued semantics (deterministic or non-deterministic) into a bivalent  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11787-017-0177-0">doi:10.1007/s11787-017-0177-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wtzoqtae6jahpcmrbt2hscswam">fatcat:wtzoqtae6jahpcmrbt2hscswam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200311115758/https://kclpure.kcl.ac.uk/portal/files/74852822/preface.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/47/dc47b23952c5484f9f7bd31285294816a7ca08bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11787-017-0177-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Indeterministic Handling of Uncertain Decisions in Deduplication

Fabian Panse, Maurice van Keulen, Norbert Ritter
<span title="2013-03-01">2013</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uvt7vennbrawfhq245gqdc33uy" style="color: black;">Journal of Data and Information Quality</a> </i> &nbsp;
We also describe a full-indeterministic method for theoretical and presentational reasons.  ...  In deterministic approaches, many realistic possibilities may be ignored, which in turn can lead to false decisions.  ...  For the same reasons, we model the fundamental part using a graph-based approach and possible world semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2435221.2435225">doi:10.1145/2435221.2435225</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/jdiq/PanseKR13.html">dblp:journals/jdiq/PanseKR13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k3qyidjginf3phgqwcbneqidky">fatcat:k3qyidjginf3phgqwcbneqidky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719034825/https://ris.utwente.nl/ws/files/6780620/Panse12indeterninistic.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/3c/743cd134720ce673162e4929e6f92eac72f846f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2435221.2435225"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 9,395 results