Добірка наукової літератури з теми "Probabilistic logics"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Probabilistic logics".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Probabilistic logics"
Gutierrez-Basulto, Victor, Jean Christoph Jung, Carsten Lutz, and Lutz Schröder. "Probabilistic Description Logics for Subjective Uncertainty." Journal of Artificial Intelligence Research 58 (January 10, 2017): 1–66. http://dx.doi.org/10.1613/jair.5222.
Повний текст джерелаHart, Sergiu, and Micha Sharir. "Probabilistic propositional temporal logics." Information and Control 70, no. 2-3 (August 1986): 97–155. http://dx.doi.org/10.1016/s0019-9958(86)80001-8.
Повний текст джерелаIkodinović, Nebojša, Zoran Ognjanović, Aleksandar Perović, and Miodrag Rašković. "Hierarchies of probabilistic logics." International Journal of Approximate Reasoning 55, no. 9 (December 2014): 1830–42. http://dx.doi.org/10.1016/j.ijar.2014.03.006.
Повний текст джерелаLukasiewicz, Thomas. "Weak nonmonotonic probabilistic logics." Artificial Intelligence 168, no. 1-2 (October 2005): 119–61. http://dx.doi.org/10.1016/j.artint.2005.05.005.
Повний текст джерелаLukasiewicz, Thomas. "Expressive probabilistic description logics." Artificial Intelligence 172, no. 6-7 (April 2008): 852–83. http://dx.doi.org/10.1016/j.artint.2007.10.017.
Повний текст джерелаMaggi, Fabrizio M., Marco Montali, and Rafael Peñaloza. "Temporal Logics Over Finite Traces with Uncertainty." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 06 (April 3, 2020): 10218–25. http://dx.doi.org/10.1609/aaai.v34i06.6583.
Повний текст джерелаGORLIN, ANDREY, C. R. RAMAKRISHNAN, and SCOTT A. SMOLKA. "Model checking with probabilistic tabled logic programming." Theory and Practice of Logic Programming 12, no. 4-5 (July 2012): 681–700. http://dx.doi.org/10.1017/s1471068412000245.
Повний текст джерелаDe Bona, Glauber, Fabio Gagliardi Cozman, and Marcelo Finger. "Towards classifying propositional probabilistic logics." Journal of Applied Logic 12, no. 3 (September 2014): 349–68. http://dx.doi.org/10.1016/j.jal.2014.01.005.
Повний текст джерелаPavičić, M. "Probabilistic forcing in quantum logics." International Journal of Theoretical Physics 32, no. 10 (October 1993): 1965–79. http://dx.doi.org/10.1007/bf00979518.
Повний текст джерелаThimm, Matthias. "Inconsistency measures for probabilistic logics." Artificial Intelligence 197 (April 2013): 1–24. http://dx.doi.org/10.1016/j.artint.2013.02.001.
Повний текст джерелаДисертації з теми "Probabilistic logics"
Potyka, Nico [Verfasser]. "Solving Reasoning Problems for Probabilistic Conditional Logics with Consistent and Inconsistent Information / Nico Potyka." Hagen : Fernuniversität Hagen, 2016. http://d-nb.info/1082048402/34.
Повний текст джерелаWeidner, Thomas. "Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic." Doctoral thesis, Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-208732.
Повний текст джерелаBarbosa, Fábio Daniel Moreira. "Probabilistic propositional logic." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/22198.
Повний текст джерелаO termo Lógica Probabilística, em geral, designa qualquer lógica que incorpore conceitos probabilísticos num sistema lógico formal. Nesta dissertacção o principal foco de estudo e uma lógica probabilística (designada por Lógica Proposicional Probabilística Exógena), que tem por base a Lógica Proposicional Clássica. São trabalhados sobre essa lógica probabilística a síntaxe, a semântica e um cálculo de Hilbert, provando-se diversos resultados clássicos de Teoria de Probabilidade no contexto da EPPL. São também estudadas duas propriedades muito importantes de um sistema lógico - correcção e completude. Prova-se a correcção da EPPL da forma usual, e a completude fraca recorrendo a um algoritmo de satisfazibilidade de uma fórmula da EPPL. Serão também considerados na EPPL conceitos de outras lógicas probabilísticas (incerteza e probabilidades intervalares) e Teoria de Probabilidades (condicionais e independência).
The term Probabilistic Logic generally refers to any logic that incorporates probabilistic concepts in a formal logic system. In this dissertation, the main focus of study is a probabilistic logic (called Exogenous Probabilistic Propo- sitional Logic), which is based in the Classical Propositional Logic. There will be introduced, for this probabilistic logic, its syntax, semantics and a Hilbert calculus, proving some classical results of Probability Theory in the context of EPPL. Moreover, there will also be studied two important properties of a logic system - soundness and completeness. We prove the EPPL soundness in a standard way, and weak completeness using a satis ability algorithm for a formula of EPPL. It will be considered in EPPL concepts of other probabilistic logics (uncertainty and intervalar probability) and of Probability Theory (independence and conditional).
Klinov, Pavel. "Practical reasoning in probabilistic description logic." Thesis, University of Manchester, 2011. https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html.
Повний текст джерелаChakrapani, Lakshmi Narasimhan. "Probabilistic boolean logic, arithmetic and architectures." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26706.
Повний текст джерелаCommittee Chair: Palem, Krishna V.; Committee Member: Lim, Sung Kyu; Committee Member: Loh, Gabriel H.; Committee Member: Mudge, Trevor; Committee Member: Yalamanchili, Sudhakar. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Blakely, Scott. "Probabilistic Analysis for Reliable Logic Circuits." PDXScholar, 2014. https://pdxscholar.library.pdx.edu/open_access_etds/1860.
Повний текст джерелаFaria, Francisco Henrique Otte Vieira de. "Learning acyclic probabilistic logic programs from data." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/.
Повний текст джерелаO aprendizado de um programa lógico probabilístico consiste em encontrar um conjunto de regras lógico-probabilísticas que melhor se adequem aos dados, a fim de explicar de que forma estão relacionados os atributos observados e predizer a ocorrência de novas instanciações destes atributos. Neste trabalho focamos em programas acíclicos, cujo significado é bastante claro e fácil de interpretar. Propõe-se que o processo de aprendizado de programas lógicos probabilísticos acíclicos deve ser guiado por funções de avaliação importadas da literatura de aprendizado de redes Bayesianas. Neste trabalho s~ao sugeridas novas técnicas para aprendizado de parâmetros que contribuem para uma melhora significativa na eficiência computacional do estado da arte representado pelo pacote ProbLog. Além disto, apresentamos novas técnicas para aprendizado da estrutura de programas lógicos probabilísticos acíclicos.
Misino, Eleonora. "Deep Generative Models with Probabilistic Logic Priors." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/24058/.
Повний текст джерелаWeidner, Thomas [Verfasser], Manfred [Akademischer Betreuer] Droste, Manfred [Gutachter] Droste, and Benedikt [Gutachter] Bollig. "Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic / Thomas Weidner ; Gutachter: Manfred Droste, Benedikt Bollig ; Betreuer: Manfred Droste." Leipzig : Universitätsbibliothek Leipzig, 2016. http://d-nb.info/1240627777/34.
Повний текст джерелаForst, Jan Frederik. "POLIS : a probabilistic summarisation logic for structured documents." Thesis, Queen Mary, University of London, 2009. http://qmro.qmul.ac.uk/xmlui/handle/123456789/467.
Повний текст джерелаКниги з теми "Probabilistic logics"
Probabilistic logics and probabilistic networks. Dordrecht: Springer, 2011.
Знайти повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. Probabilistic Logics and Probabilistic Networks. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-0008-6.
Повний текст джерелаHuynh, Van-Nam, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vkladik Kreinovich, and Hung T. Nguyen, eds. Interval / Probabilistic Uncertainty and Non-Classical Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77664-2.
Повний текст джерелаKatoen, Joost-Pieter. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 1999.
Знайти повний текст джерелаPaass, Gerhard. Probabilistic logic. Sankt Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1987.
Знайти повний текст джерелаGoertzel, Ben, Matthew Iklé, Izabela Freire Goertzel, and Ari Heljakka. Probabilistic Logic Networks. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-76872-4.
Повний текст джерелаDe Raedt, Luc, Paolo Frasconi, Kristian Kersting, and Stephen Muggleton, eds. Probabilistic Inductive Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78652-8.
Повний текст джерелаColetii, Giulianella, and Romano Scozzafava. Probabilistic Logic in a Coherent Setting. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0474-9.
Повний текст джерелаFisseler, Jens. Learning and modeling with probabilistic conditional logic. Heidelberg: Ios Press, 2010.
Знайти повний текст джерела1964-, Raedt Luc de, ed. Probabilistic inductive logic programming: Theory and applications. Berlin: Springer, 2008.
Знайти повний текст джерелаЧастини книг з теми "Probabilistic logics"
Doder, Dragan, and Aleksandar Perović. "Probabilistic Temporal Logics." In Probabilistic Extensions of Various Logical Systems, 71–108. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52954-3_3.
Повний текст джерелаGerla, Giangiacomo. "Probabilistic Fuzzy Logics." In Fuzzy Logic, 171–98. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9660-2_9.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Introduction." In Probabilistic Logics and Probabilistic Networks, 3–10. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_1.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Networks for Probabilistic Argumentation." In Probabilistic Logics and Probabilistic Networks, 107–10. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_10.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Networks for Evidential Probability." In Probabilistic Logics and Probabilistic Networks, 111–17. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_11.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Networks for Statistical Inference." In Probabilistic Logics and Probabilistic Networks, 119–24. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_12.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Networks for Bayesian Statistical Inference." In Probabilistic Logics and Probabilistic Networks, 125–31. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_13.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Networks for Objective Bayesianism." In Probabilistic Logics and Probabilistic Networks, 133–37. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_14.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Conclusion." In Probabilistic Logics and Probabilistic Networks, 139. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_15.
Повний текст джерелаHaenni, Rolf, Jan-Willem Romeijn, Gregory Wheeler, and Jon Williamson. "Standard Probabilistic Semantics." In Probabilistic Logics and Probabilistic Networks, 11–20. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0008-6_2.
Повний текст джерелаТези доповідей конференцій з теми "Probabilistic logics"
de Alfaro, Luca, Krishnendu Chatterjee, Marco Faella, and Axel Legay. "Qualitative Logics and Equivalences for Probabilistic Systems." In 2007 4th International Conference on the Quantitative Evaluation of Systems. IEEE, 2007. http://dx.doi.org/10.1109/qest.2007.15.
Повний текст джерелаChakraborty, Souymodip, and Joost-Pieter Katoen. "On the Satisfiability of Some Simple Probabilistic Logics." In LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2933575.2934526.
Повний текст джерелаRamesh, Yenda, and M. Rao. "Statistical Model Checking for Probabilistic Temporal Epistemic Logics." In 14th International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and Technology Publications, 2022. http://dx.doi.org/10.5220/0010847900003116.
Повний текст джерелаFrommholz, Ingo, and Norbert Fuhr. "Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries." In the 6th ACM/IEEE-CS joint conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1141753.1141764.
Повний текст джерелаKim, Joseph, Christian Muise, Ankit Shah, Shubham Agarwal, and Julie Shah. "Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/776.
Повний текст джерелаAminof, Benjamin, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, and Sasha Rubin. "Probabilistic Strategy Logic." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/5.
Повний текст джерелаManhaeve, Robin, Giuseppe Marra, and Luc De Raedt. "Approximate Inference for Neural Probabilistic Logic Programming." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/45.
Повний текст джерелаWild, Paul, Lutz Schröder, Dirk Pattinson, and Barbara König. "A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/263.
Повний текст джерелаNguyen, Hoang Nga, and Abdur Rakib. "A Probabilistic Logic for Resource-Bounded Multi-Agent Systems." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/74.
Повний текст джерелаLeventis, Thomas. "Probabilistic Böhm Trees and Probabilistic Separation." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209126.
Повний текст джерелаЗвіти організацій з теми "Probabilistic logics"
Kriegel, Francesco. Learning General Concept Inclusions in Probabilistic Description Logics. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.220.
Повний текст джерелаKriegel, Francesco. Learning description logic axioms from discrete probability distributions over description graphs (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.247.
Повний текст джерелаBaader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. Using Ontologies to Query Probabilistic Numerical Data (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.235.
Повний текст джерелаPeñaloza, Rafael, and Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.
Повний текст джерелаKriegel, Francesco. Terminological knowledge aquisition in probalistic description logic. Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.239.
Повний текст джерелаBlakely, Scott. Probabilistic Analysis for Reliable Logic Circuits. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1859.
Повний текст джерелаKishore, Nand, Radhakrishnan Balu, and Shashi P. Karna. Modeling Genetic Regulatory Networks Using First-Order Probabilistic Logic. Fort Belvoir, VA: Defense Technical Information Center, March 2013. http://dx.doi.org/10.21236/ada582376.
Повний текст джерелаDempster, Arthur P. Modelling Probabilistic and Logical Relations with Belief Functions. Fort Belvoir, VA: Defense Technical Information Center, June 1995. http://dx.doi.org/10.21236/ada300015.
Повний текст джерелаBamber, D. A Characterization of Probabilistic Entailment in Adams' Logic of Conditionals. Fort Belvoir, VA: Defense Technical Information Center, September 1995. http://dx.doi.org/10.21236/ada301476.
Повний текст джерелаGray, III, Syverson James W., and Paul F. A Logical Approach to Multilevel Security of Probabilistic Systems. Fort Belvoir, VA: Defense Technical Information Center, January 1998. http://dx.doi.org/10.21236/ada465040.
Повний текст джерела