Academic literature on the topic 'Probabilistic logics'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Probabilistic 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 "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.
Full textHart, 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.
Full textIkodinović, 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.
Full textLukasiewicz, 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.
Full textLukasiewicz, 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.
Full textMaggi, 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.
Full textGORLIN, 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.
Full textDe 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.
Full textPavič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.
Full textThimm, Matthias. "Inconsistency measures for probabilistic logics." Artificial Intelligence 197 (April 2013): 1–24. http://dx.doi.org/10.1016/j.artint.2013.02.001.
Full textDissertations / Theses on the topic "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.
Full textWeidner, 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.
Full textBarbosa, Fábio Daniel Moreira. "Probabilistic propositional logic." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/22198.
Full textO 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.
Full textChakrapani, Lakshmi Narasimhan. "Probabilistic boolean logic, arithmetic and architectures." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26706.
Full textCommittee 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.
Full textFaria, 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/.
Full textO 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/.
Full textWeidner, 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.
Full textForst, 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.
Full textBooks on the topic "Probabilistic logics"
Probabilistic logics and probabilistic networks. Dordrecht: Springer, 2011.
Find full textHaenni, 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.
Full textHuynh, 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.
Full textKatoen, 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.
Find full textPaass, Gerhard. Probabilistic logic. Sankt Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1987.
Find full textGoertzel, 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.
Full textDe 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.
Full textColetii, 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.
Full textFisseler, Jens. Learning and modeling with probabilistic conditional logic. Heidelberg: Ios Press, 2010.
Find full text1964-, Raedt Luc de, ed. Probabilistic inductive logic programming: Theory and applications. Berlin: Springer, 2008.
Find full textBook chapters on the topic "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.
Full textGerla, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textHaenni, 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.
Full textConference papers on the topic "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.
Full textChakraborty, 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.
Full textRamesh, 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.
Full textFrommholz, 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.
Full textKim, 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.
Full textAminof, 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.
Full textManhaeve, 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.
Full textWild, 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.
Full textNguyen, 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.
Full textLeventis, 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.
Full textReports on the topic "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.
Full textKriegel, 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.
Full textBaader, 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.
Full textPeñ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.
Full textKriegel, Francesco. Terminological knowledge aquisition in probalistic description logic. Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.239.
Full textBlakely, Scott. Probabilistic Analysis for Reliable Logic Circuits. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1859.
Full textKishore, 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.
Full textDempster, 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.
Full textBamber, 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.
Full textGray, 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.
Full text