Relevant bibliographies by topics / Approximate logics

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Approximate logics'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Approximate logics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
"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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Approximate logics"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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,
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Approximate logics' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography