Gotowe bibliografie tematyczne / Approximate logics

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Książki
  4. Części książek
  5. Streszczenia konferencji
  6. Raporty organizacyjne

Gotowa bibliografia na temat „Approximate logics”

Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 1 lutego 2022

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Approximate logics”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Approximate logics"

1

Biacino, Loredana, and Giangiacomo Gerla. "Logics with approximate premises." International Journal of Intelligent Systems 13, no. 1 (January 1998): 1–10. http://dx.doi.org/10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Dunin-Kęplicz, Barbara, Anh Nguyen, and Andrzej Szałas. "A layered rule-based architecture for approximate knowledge fusion?" Computer Science and Information Systems 7, no. 3 (2010): 617–42. http://dx.doi.org/10.2298/csis100209015d.

Pełny tekst źródła
Streszczenie:
In this paper we present a framework for fusing approximate knowledge obtained from various distributed, heterogenous knowledge sources. This issue is substantial in modeling multi-agent systems, where a group of loosely coupled heterogeneous agents cooperate in achieving a common goal. In paper [5] we have focused on defining general mechanism for knowledge fusion. Next, the techniques ensuring tractability of fusing knowledge expressed as a Horn subset of propositional dynamic logic were developed in [13,16]. Propositional logics may seem too weak to be useful in real-world applications. On
Style APA, Harvard, Vancouver, ISO itp.
3

Esteva, Francesc, Lluís Godo, Ricardo O. Rodríguez, and Thomas Vetterlein. "Logics for approximate and strong entailments." Fuzzy Sets and Systems 197 (June 2012): 59–70. http://dx.doi.org/10.1016/j.fss.2011.09.005.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Lemström, Kjell, and Lauri Hella. "Approximate pattern matching and transitive closure logics." Theoretical Computer Science 299, no. 1-3 (April 2003): 387–412. http://dx.doi.org/10.1016/s0304-3975(02)00484-x.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Liau, Churn-Jung. "Possibilistic Residuated Implication Logics with Applications." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 06, no. 04 (August 1998): 365–85. http://dx.doi.org/10.1142/s0218488598000306.

Pełny tekst źródła
Streszczenie:
In this paper, we will develop a class of logics for reasoning about qualitative and quantitative uncertainty. The semantics of the logics is uniformly based on possibility theory. Each logic in the class is parameterized by a t-norm operation on [0,1], and we express the degree of implication between the possibilities of two formulas explicitly by using residuated implication with respect to the t-norm. The logics are then shown to be applicable to possibilistic reasoning, approximate reasoning, and nonmonotonic reasoning.
Style APA, Harvard, Vancouver, ISO itp.
6

Vetterlein, Thomas, Francesc Esteva, and Lluís Godo. "Logics for Approximate Entailment in ordered universes of discourse." International Journal of Approximate Reasoning 71 (April 2016): 50–63. http://dx.doi.org/10.1016/j.ijar.2016.02.001.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Jiang, Yuncheng, Ju Wang, Suqin Tang, and Bao Xiao. "Reasoning with rough description logics: An approximate concepts approach." Information Sciences 179, no. 5 (February 2009): 600–612. http://dx.doi.org/10.1016/j.ins.2008.10.021.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Krynicki, Michał. "A Note on Rough Concepts Logic." Fundamenta Informaticae 13, no. 2 (April 1, 1990): 227–35. http://dx.doi.org/10.3233/fi-1990-13206.

Pełny tekst źródła
Streszczenie:
In papers [4,5] Pawlak introduced the notion of a rough set and approximation space. In [6] Pawlak formulated some concept of rough logic. The notion of the approximate truth was considered by many philosophers and logicians and in the last time by computer scientists. This was motivated by some research in artificial intelligence as for example expert systems, approximate reasoning methods and information system with imprecise information. The concept of rough logic introduced in [6] based on the notion of approximate truth determined by rough sets. Following these ideas Rasiowa and Skowron i
Style APA, Harvard, Vancouver, ISO itp.
9

Whalen, Thomas, and Brian Schott. "Alternative logics for approximate reasoning in expert systems: a comparative study." International Journal of Man-Machine Studies 22, no. 3 (March 1985): 327–46. http://dx.doi.org/10.1016/s0020-7373(85)80007-9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Feng, Zhi-Qiang, and Cun-Gen Liu. "On vague logics and approximate reasoning based on vague linear transformation." International Journal of Systems Science 43, no. 9 (September 2012): 1591–602. http://dx.doi.org/10.1080/00207721.2010.549579.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Approximate logics"

1

Rajaratnam, David Computer Science &amp Engineering Faculty of Engineering UNSW. "Logical approximation and compilation for resource-bounded reasoning." Publisher:University of New South Wales. Computer Science & Engineering, 2008. http://handle.unsw.edu.au/1959.4/41296.

Pełny tekst źródła
Streszczenie:
Providing a logical characterisation of rational agent reasoning has been a long standing challenge in artificial intelligence (AI) research. It is a challenge that is not only of interest for the construction of AI agents, but is of equal importance in the modelling of agent behaviour. The goal of this thesis is to contribute to the formalisation of agent reasoning by showing that the computational limitations of agents is a vital component of modelling rational behaviour. To achieve this aim, both motivational and formal aspects of resource-bounded agents are examined. It is a central argum
Style APA, Harvard, Vancouver, ISO itp.
2

Fernández, Gil Oliver. "Adding Threshold Concepts to the Description Logic EL." Doctoral thesis, Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-204523.

Pełny tekst źródła
Streszczenie:
We introduce a family of logics extending the lightweight Description Logic EL, that allows us to define concepts in an approximate way. The main idea is to use a graded membership function m, which for each individual and concept yields a number in the interval [0,1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ in {<,<=,>,>=} then collect all the individuals that belong to C with degree ~t. We further study this framework in two particular directions. First, we define a specific graded membership function deg and investigate the complexity
Style APA, Harvard, Vancouver, ISO itp.
3

Carbin, Michael (Michael James). "Logical reasoning for approximate and unreliable computation." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99813.

Pełny tekst źródła
Streszczenie:
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 343-350).<br>Improving program performance and resilience are long-standing goals. Traditional approaches include a variety of transformation, compilation, and runtime techniques that share the common property that the resulting program has the same semantics as the original program. However, researchers have recently proposed a variety of new techniques that set aside this traditional rest
Style APA, Harvard, Vancouver, ISO itp.
4

Weydert, Emil. "How to approximate the naive comprehension scheme inside of classical logic." Bonn : [s.n.], 1989. http://catalog.hathitrust.org/api/volumes/oclc/19990751.html.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Taleb-Bendiab, Azzelarabe. "Logic programming for conceptual engineering design : selection process by approximate matching." Thesis, University of Liverpool, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316548.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Perundurai, Rajasekaran Siddharthan. "Nonparametric Inverse Reinforcement Learning and Approximate Optimal Control with Temporal Logic Tasks." Digital WPI, 2017. https://digitalcommons.wpi.edu/etd-theses/1205.

Pełny tekst źródła
Streszczenie:
"This thesis focuses on two key problems in reinforcement learning: How to design reward functions to obtain intended behaviors in autonomous systems using the learning-based control? Given complex mission specification, how to shape the reward function to achieve fast convergence and reduce sample complexity while learning the optimal policy? To answer these questions, the first part of this thesis investigates inverse reinforcement learning (IRL) method with a purpose of learning a reward function from expert demonstrations. However, existing algorithms often assume that the expert demon
Style APA, Harvard, Vancouver, ISO itp.
7

Martins, Mayler Gama Alvarenga. "Applications of functional composition for CMOS and emerging technologies." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2015. http://hdl.handle.net/10183/164452.

Pełny tekst źródła
Streszczenie:
Os avanços da indústria de semicondutores nas últimas décadas foram baseados fortemente na contínua redução de tamanho dos dispositivos CMOS fabricados. Os usos de dispositivos CMOS dependem profundamente da lógica de portas E/OU/INV. À medida que os dispositivos CMOS estão atingindo oslimites fisicos, pesquisadores aumento esforço para prolongar a vida útil da tecnologia CMOS. Também é necessário investigar dispositivos alternativos, que em muitos casos implicam no uso de operações lógicas básicas diferentes. Como as ferramentas comerciais de síntese não são capazes de manipular eficientement
Style APA, Harvard, Vancouver, ISO itp.
8

Chaoued, Nouha. "Représentation et traitement des connaissances en logique multivalente : cas d'une répartition non uniforme des degrés de vérité." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS048/document.

Pełny tekst źródła
Streszczenie:
Dans la plupart des activités quotidiennes, l’Homme a tendance à utiliser des connaissances imparfaites. L’imperfection se rapporte à trois volets : l’imprécision, l’incertitude et l’incomplétude. Nous thèse concerne les connaissances imprécises. En particulier, nous nous intéressons au traitement qualitatif de l’information imprécise dans les systèmes à base de connaissances. Diverses approches ont été proposées pour traiter les connaissances imprécises, en particulier, la logique floue et la logique multivalente. Les théories des ensembles flous et des multi-ensembles sont un moyen très appr
Style APA, Harvard, Vancouver, ISO itp.
9

Huster, Todd. "OWL query answering using machine learning." Wright State University / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Dena, Ornelas Oscar S. "Fast approximate migration of ground penetrating radar using Kalman estimators and determination of the lithospheric structure of Lake Baikal, Russia." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Approximate logics"

1

Elkan, Charles. Incremental, approximate planning: Preliminary report. Toronto: Computer Science Dept., University of Toronto, 1989.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Gerla, Giangiacomo. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. Dordrecht: Springer Netherlands, 2001.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Fuzzy logic: Mathematical tools for approximate reasoning. Dordrecht: Kluwer Academic Publishers, 2001.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Fuzziness and approximate reasoning: Epistemics on uncertainty, expectation and risk in rational behavior. Berlin: Springer, 2009.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Relander, Sami. Towards approximate reasoning on new software product company success potential estimation: A design science based fuzzy logic expert system. [Helsinki]: Helsinki School of Economics, 2008.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Jonathan, Barnes. Logic and the imperial Stoa. New York: Brill, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Categories and logic in Duns Scotus: An interpretation of Aristotle's Categories in the late thirteenth century. Leiden: Brill, 2002.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Borzyh, Stanislav. Theory of the possible. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1074108.

Pełny tekst źródła
Streszczenie:
In this book, we are talking about a single principle that permeates every organized entity, regardless of what sphere it belongs to. Everywhere and always, and in accordance with the current circumstances, the process of formation, support and regulation of any complex complexes and ensembles is guided and controlled by the concept of the realizable, which postulates that only what is stable and stable will be realized, and everything else will be discarded as untenable and unbalanced. These patterns and patterns can be traced resolutely at all levels of existence. And the universe, and life,
Style APA, Harvard, Vancouver, ISO itp.
9

Gerla, G. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. Springer, 2013.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Gerla, G. Fuzzy Logic: Mathematical Tools for Approximate Reasoning (Trends in Logic). Springer, 2001.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Approximate logics"

1

Yadav, Nitin, and Sebastian Sardina. "Qualitative Approximate Behavior Composition." In Logics in Artificial Intelligence, 450–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33353-8_35.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Hájek, Petr. "On logics of approximate reasoning." In Knowledge Representation and Reasoning Under Uncertainty, 17–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58095-6_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Hájek, P. "On Logics of Approximate Reasoning II." In Proceedings of the ISSEK94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence, 147–55. Vienna: Springer Vienna, 1995. http://dx.doi.org/10.1007/978-3-7091-2690-5_10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Godo, Lluís. "Similarity-Based Logics for Approximate Entailments." In Quantitative Logic and Soft Computing 2016, 5–6. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46206-6_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Finger, Marcelo, and Renata Wassermann. "Logics for Approximate Reasoning: Approximating Classical Logic “From Above”." In Advances in Artificial Intelligence, 21–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36127-8_3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. "Approximate Unification in the Description Logic $$\mathcal {FL}_0$$." In Logics in Artificial Intelligence, 49–63. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48758-8_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Mandal, Sudin, Namrata Bhattacharyya, and Swapan Raha. "Approximate Reasoning Under Type-2 Fuzzy Logics." In Springer Proceedings in Mathematics & Statistics, 87–97. New Delhi: Springer India, 2015. http://dx.doi.org/10.1007/978-81-322-2301-6_7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Darwiche, Adnan. "Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference." In Logics in Artificial Intelligence, 7–9. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15675-5_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Hashemi, Soheil, Hokchhay Tann, and Sherief Reda. "Approximate Logic Synthesis Using Boolean Matrix Factorization." In Approximate Circuits, 141–54. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99322-5_7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Gerla, Giangiacomo. "Approximate Reasoning." In Fuzzy Logic, 69–87. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9660-2_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Approximate logics"

1

Liu, Gai, and Zhiru Zhang. "Statistically certified approximate logic synthesis." In 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2017. http://dx.doi.org/10.1109/iccad.2017.8203798.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Bernasconi, Anna, Valentina Ciriani, and Tiziano Villa. "Approximate Logic Synthesis by Symmetrization." In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 2019. http://dx.doi.org/10.23919/date.2019.8715286.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Meng, Chang, Weikang Qian, and Alan Mishchenko. "ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set." In 2020 57th ACM/IEEE Design Automation Conference (DAC). IEEE, 2020. http://dx.doi.org/10.1109/dac18072.2020.9218627.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

van Bremen, Timothy, and Ondrej Kuzelka. "Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/587.

Pełny tekst źródła
Streszczenie:
We study the symmetric weighted first-order model counting task and present ApproxWFOMC, a novel anytime method for efficiently bounding the weighted first-order model count of a sentence given an unweighted first-order model counting oracle. The algorithm has applications to inference in a variety of first-order probabilistic representations, such as Markov logic networks and probabilistic logic programs. Crucially for many applications, no assumptions are made on the form of the input sentence. Instead, the algorithm makes use of the symmetry inherent in the problem by imposing cardinality c
Style APA, Harvard, Vancouver, ISO itp.
5

Henzinger, Thomas A., and N. Ege Sarac. "Quantitative and Approximate Monitoring." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470547.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Yang, Yu-Shen, Subarna Sinha, Andreas Veneris, and Robert K. Brayton. "Automating Logic Rectification by Approximate SPFDs." In 2007 Asia and South Pacific Design Automation Conference. IEEE, 2007. http://dx.doi.org/10.1109/aspdac.2007.358019.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Yang, Y. S., S. Sinha, A. Veneris, R. K. Brayton, and D. Smith. "Sequential logic rectifications with approximate SPFDs." In 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09). IEEE, 2009. http://dx.doi.org/10.1109/date.2009.5090936.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

yin, Hao-kai, and Yin-shui Xia. "Approximate logic optimization for ISFPRM function." In 2018 14th IEEE International Conference on Solid-State and Integrated Circuit Technology (ICSICT). IEEE, 2018. http://dx.doi.org/10.1109/icsict.2018.8564851.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Taylor, Julia M., and Lawrence J. Mazlack. "Description Logic-Based Approximate Joke Comparison." In 2006 Annual Meeting of the North American Fuzzy Information Processing Society. IEEE, 2006. http://dx.doi.org/10.1109/nafips.2006.365428.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Yao, Yue, Shuyang Huang, Chen Wang, Yi Wu, and Weikang Qian. "Approximate Disjoint Bi-Decomposition and Its Application to Approximate Logic Synthesis." In 2017 IEEE 35th International Conference on Computer Design (ICCD). IEEE, 2017. http://dx.doi.org/10.1109/iccd.2017.90.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Approximate logics"

1

Schwartz, Daniel. Approximate reasoning, logics for self-reference, and the use of nonclassical logics in systems modeling. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.591.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Approximate logics” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii