Filters








749,581 Hits in 5.6 sec

Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Applications of Case Based Organizational Memory Supported by the PAbMM Architecture Martín, María de los ...

Jith Sarker, Abu Shami Md. Zadid Shifat, Rezoan Ahmed Shuvro
<span title="">2017</span> <i title="ASTES Journal"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5z5fhzfgard2vod5er2hdyuq54" style="color: black;">Advances in Science, Technology and Engineering Systems</a> </i> &nbsp;
In the modernistics years, Graphene has become a promising resplendence in the horizon of fabrication technology, due to some of its unique electronic properties like zero band gap, high saturation velocity  ...  Considering all of the graphical illustrations, we do like to conclude that, graphene will be a successor in post silicon era and bring revolutionary changes in the field of fabrication technology.  ...  Although our works is in embryonic stage, in comparison to others, we can strongly recommend G-MOSFET as a promising candidate for post Si era.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25046/aj0203177">doi:10.25046/aj0203177</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qhd2rteuajdqzo77fq74ixwevu">fatcat:qhd2rteuajdqzo77fq74ixwevu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723095247/https://www.astesj.com/publications/ASTESJ_0203177.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/7a/6a/7a6a943055044b4abea5808d71d906cde0256b2e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25046/aj0203177"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Stream Reasoning on Expressive Logics [article]

Gulay Unel
<span title="2018-08-15">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we survey the related research on reasoning on expressive logics that can be applied to this setting, and point to further research directions in this area.  ...  Data streams occur widely in various real world applications.  ...  The logics we investigate are RDFS and OWL, Description Logics, rule-based Logics, Description Logic Programs, and other fragments of First Order and Second Order Logics as shown in Figure 1 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.04738v2">arXiv:1808.04738v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jnvdry2frfcd7g7vvz3v5dudk4">fatcat:jnvdry2frfcd7g7vvz3v5dudk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906231233/https://arxiv.org/pdf/1808.04738v2.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/e7/31/e731074187a00b4eff3a48f3e9eeaf2feebdcd98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.04738v2" 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>

Axiomatizations of arithmetic and the first-order/second-order divide

Catarina Dutilh Novaes
<span title="2014-12-30">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/munzfrczajgrfktmdt7fobcory" style="color: black;">Synthese</a> </i> &nbsp;
for the first-order logic versus second-order logic divide.  ...  The descriptive approach is illustrated by Dedekind's 'discovery' of the need for second-order concepts to ensure categoricity in his axiomatization of arithmetic; the deductive approach is illustrated  ...  I first stated thinking about these issues when supervising the Master's thesis of Nicola di Giorgio in 2010, so thanks to Nicola for prompting me to think about this material.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11229-014-0636-6">doi:10.1007/s11229-014-0636-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oopekxzwezertmwwd65khcwntu">fatcat:oopekxzwezertmwwd65khcwntu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428012903/https://research.vu.nl/ws/files/122162061/DutilhNovaes2019_Axiomatizations_of_arithmetic_and_the_first_order_second_order_divide.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/2a/2c/2a2c11d3930e7a99a77018e1bef680a664ed843b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11229-014-0636-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics

Markus Pantsar
<span title="2020-11-09">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rplregtfrvbuppbjjbn5xwapiy" style="color: black;">Minds and Machines</a> </i> &nbsp;
Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities.  ...  In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic.  ...  The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11023-020-09545-4">doi:10.1007/s11023-020-09545-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w6ozosq2pzauzfla63es3wbppa">fatcat:w6ozosq2pzauzfla63es3wbppa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429020719/https://link.springer.com/content/pdf/10.1007/s11023-020-09545-4.pdf?error=cookies_not_supported&amp;code=1a1688df-94d4-4c20-beee-0cc964166a1d" 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/d9/4e/d94e2456590624e3e1a7386abb1d4926105f2819.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11023-020-09545-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

The Boolean Solution Problem from the Perspective of Predicate Logic [chapter]

Christoph Wernhard
<span title="">2017</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;
Finding solution values for unknowns in Boolean equations was, along with second-order quantifier elimination, a principal reasoning mode in the Algebra of Logic of the 19th century.  ...  The prevention of certain redundancies has been described as application of (concept) unification in description logics [2] .  ...  Finding solution values for unknowns in Boolean equations was, along with second-order quantifier elimination, a principal reasoning mode in the Algebra of Logic of the 19th century.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-66167-4_19">doi:10.1007/978-3-319-66167-4_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bpilus2ivrgwfeqswljpngbpum">fatcat:bpilus2ivrgwfeqswljpngbpum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190226154139/http://pdfs.semanticscholar.org/80a3/09b855f56b3de255792002af8a80935bc1e1.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/80/a3/80a309b855f56b3de255792002af8a80935bc1e1.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-66167-4_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 5658 of Mathematical Reviews Vol. , Issue 2004g [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
In such a case, in many situations the agent needs nonmonotonic abilities in order to reason on the basis of his own knowledge and the other agents’ knowledge and ignorance.  ...  We define a reasoning method for such a logic and characterize the computational complexity of the major reasoning tasks in this formalism.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-07_2004g/page/5658" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004-07_2004g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Two Phase Description Logic Reasoning for Efficient Information Retrieval [chapter]

Zsolt Zombori
<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;
This paper summarizes the results in transforming DL axioms to a set of function-free clauses of first-order logic which can be used for efficient, query oriented data reasoning.  ...  Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning.  ...  Overview Description Logics (DLs) [1] is family of logic languages designed to be a convenient means of knowledge representation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13489-0_51">doi:10.1007/978-3-642-13489-0_51</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xbvixvb2yrgrfe5dhpbcjqwake">fatcat:xbvixvb2yrgrfe5dhpbcjqwake</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812194539/http://drops.dagstuhl.de/opus/volltexte/2011/3190/pdf/33.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/b3/a0/b3a0f55b42298de3bc12a1c415bbfd0b0902ed88.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-13489-0_51"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The limits and possibilities of combining Description Logics and Datalog

Riccardo Rosati
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ijrih34afjbq7idfc7umjyooaq" style="color: black;">2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML&#39;06)</a> </i> &nbsp;
) Datalog in which reasoning is undecidable.  ...  Most of the approaches in this field concern the study of description logic knowledge bases augmented with rules expressed in Datalog and its nonmonotonic extensions.  ...  statement by an implication in classical first-order logic of the form ψ → φ.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ruleml.2006.22">doi:10.1109/ruleml.2006.22</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ruleml/Rosati06.html">dblp:conf/ruleml/Rosati06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qnzkeco7qnf3fhqoegkcorc3cm">fatcat:qnzkeco7qnf3fhqoegkcorc3cm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150930233643/http://www.computer.org/csdl/proceedings/ruleml/2006/2652/00/26520003.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/9f/6a/9f6aa107e78fec3847a028944926926323e527a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ruleml.2006.22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
<span title="2017-02-01">2017</span> <i title="Indian Society for Education and Environment"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wffwpj3q45g5zfjzfeyagk5uea" style="color: black;">Indian Journal of Science and Technology</a> </i> &nbsp;
Objective: To present a reasoner based on the hybrid approach which integrates the Description Logic (DL) reasoner with Rule Logic (RL) based reasoner for optimizing the reasoning process in ontology's  ...  It will thus call the Description Logic (DL) based reasoner for Tbox reasoning which will perform reasoning by classifying and realizing the elements of a given ontology.  ...  This approach combines the Declarative Semantics of Logic Programming with first order Semantics of Description Logic and has proposed that various reasoners can be built based on existing rule and OWL  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17485/ijst/2017/v10i23/111164">doi:10.17485/ijst/2017/v10i23/111164</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pk76k252d5bj7ggesmd3tgtbz4">fatcat:pk76k252d5bj7ggesmd3tgtbz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720045539/http://www.indjst.org/index.php/indjst/article/download/111164/80457" 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] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17485/ijst/2017/v10i23/111164"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 712 of Mathematical Reviews Vol. 44, Issue 4 [page]

<span title="">1972</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
3833-3834 These results are extended (by exactly the same tech- | nique) to two systems of second order logic.  ...  Differences and analogies between first and second order logic are reflected in these results. They should prove useful in classroom presentation of the subject. L. E. Sanchis (Syracuse, N.Y.)  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1972-10_44_4/page/712" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1972-10_44_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

PossDL — A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling [chapter]

Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du
<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;
Based on our previous work, we develop a possibilistic description logic reasoner.  ...  Our demo will illustrate functionalities of our reasoner for various reasoning tasks that possibilistic description logics can provide.  ...  Based on these algorithms, in this work, we develop a possibilistic description logic reasoner by using OWL API 3.0.0.v1310 and Pellet v2.0.0 1 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13489-0_35">doi:10.1007/978-3-642-13489-0_35</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pfavfvxuwvcc7o3ixuedlmyk7m">fatcat:pfavfvxuwvcc7o3ixuedlmyk7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030111041/https://link.springer.com/content/pdf/10.1007%2F978-3-642-13489-0_35.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/0a/ce/0aceec04316f9dad0dd5a23291acb751805760a7.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-13489-0_35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automated Reasoning for Robot Ethics [article]

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
<span title="2015-02-20">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems.  ...  In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems.  ...  Since Hyper offers a decision procedure for various description logics, it can be employed for reasoning in SDL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1502.05838v1">arXiv:1502.05838v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rdfymvzsbbf55e6mf6xs73yjpm">fatcat:rdfymvzsbbf55e6mf6xs73yjpm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200924232809/https://arxiv.org/pdf/1502.05838v1.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/9b/aa9b310cf33b48df3be745467b139ac16c714683.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1502.05838v1" 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>

Page 659 of Mathematical Reviews Vol. , Issue 2000a [page]

<span title="">2000</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
We provide an effective procedure for answering epis- temic queries posed to a knowledge base expressed in a description logic, and we extend this procedure in order to deal with rules.  ...  “We show how description logics enriched with an epistemic operator can formalize such aspects. The logic obtained is a frag- ment of a first-order nonmonotonic modal logic.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000-01_2000a/page/659" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000-01_2000a/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic [chapter]

Guilin Qi, Jeff Z. Pan, Qiu Ji
<span title="">2007</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;
Finally, we implement the algorithms for inference services in possibilistic description logics using KAON2 reasoner.  ...  In this paper, we propose possibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics.  ...  Research presented in this paper was partially supported by the European Commission NeOn (IST-2006-027595, http://www.neon-project.org/), the Knowledge Web projects (IST-2004-507842, http://knowledgeweb.semanticweb  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75256-1_72">doi:10.1007/978-3-540-75256-1_72</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m5vmesvgkbgkffritqi2qfdp3y">fatcat:m5vmesvgkbgkffritqi2qfdp3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080422115645/http://www.aifb.uni-karlsruhe.de/WBS/gqi/papers/qpj07b.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/5b/a3/5ba3d6aba16ebfd78bc419d2bb7d0571edd01815.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-75256-1_72"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Introduction to the Special Issue on Logic, Cognition and Argumentation

Mariusz Urbański, Michiel Van Lambalgen, Marcin Koszowy
<span title="2018-11-14">2018</span> <i title="Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cqchsjbcrzesbc3b7elv2aorpy" style="color: black;">Logic and Logical Philosophy</a> </i> &nbsp;
Farshad Badie in "On logical characterisation of human concept learning based on terminological systems" employs Description Logics in order to provide a logical description and analysis of actual human  ...  The second vantage point is informed by research in logic of the human reasoning. The paper "Yet another shade of deduction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12775/llp.2018.015">doi:10.12775/llp.2018.015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xph3v5772nfgxkmibhqjimdumy">fatcat:xph3v5772nfgxkmibhqjimdumy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427042219/http://apcz.umk.pl/czasopisma/index.php/LLP/article/download/LLP.2018.015/16020" 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/df/e5dfdfef605ba330de5e40c20388441166547346.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12775/llp.2018.015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 749,581 results