Статті в журналах з теми "Probabilistic logics"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Probabilistic logics".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерелаAguirre, Alejandro, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato. "Higher-order probabilistic adversarial computations: categorical semantics and program logics." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–30. http://dx.doi.org/10.1145/3473598.
Повний текст джерелаDoder, Dragan. "A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P." Publications de l'Institut Math?matique (Belgrade) 90, no. 104 (2011): 13–22. http://dx.doi.org/10.2298/pim1104013d.
Повний текст джерелаMorgan, Charles, and Fran�ois Lepage. "Probabilistic Canonical Models for Partial Logics." Notre Dame Journal of Formal Logic 44, no. 3 (July 2003): 125–38. http://dx.doi.org/10.1305/ndjfl/1091030851.
Повний текст джерелаDoder, Dragan, and Zoran Ognjanović. "Probabilistic Logics with Independence and Confirmation." Studia Logica 105, no. 5 (April 9, 2017): 943–69. http://dx.doi.org/10.1007/s11225-017-9718-z.
Повний текст джерелаDu, Wenjie, Yuxin Deng, and Daniel Gebler. "Behavioural Pseudometrics for Nondeterministic Probabilistic Systems." Scientific Annals of Computer Science XXXII, no. 2 (December 7, 2022): 211–54. http://dx.doi.org/10.7561/sacs.2022.2.211.
Повний текст джерелаNOTTELMANN, HENRIK, and NORBERT FUHR. "ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14, no. 01 (February 2006): 17–41. http://dx.doi.org/10.1142/s0218488506003819.
Повний текст джерелаKamide, Norihiro, and Daiki Koizumi. "Method for Combining Paraconsistency and Probability in Temporal Reasoning." Journal of Advanced Computational Intelligence and Intelligent Informatics 20, no. 5 (September 20, 2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Повний текст джерелаIlic-Stepic, Angelina, and Zoran Ognjanovic. "Complex valued probability logics." Publications de l'Institut Math?matique (Belgrade) 95, no. 109 (2014): 73–86. http://dx.doi.org/10.2298/pim1409073i.
Повний текст джерелаPeñaloza, Rafael. "A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics." Algorithms 14, no. 10 (September 28, 2021): 280. http://dx.doi.org/10.3390/a14100280.
Повний текст джерелаKupke, Clemens, Dirk Pattinson, and Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics." ACM Transactions on Computational Logic 23, no. 2 (April 30, 2022): 1–34. http://dx.doi.org/10.1145/3501300.
Повний текст джерелаRiguzzi, Fabrizio, Elena Bellodi, Evelina Lamma, and Riccardo Zese. "Probabilistic Description Logics under the distribution semantics." Semantic Web 6, no. 5 (August 7, 2015): 477–501. http://dx.doi.org/10.3233/sw-140154.
Повний текст джерелаThimm, M., and G. Kern-Isberner. "On probabilistic inference in relational conditional logics." Logic Journal of IGPL 20, no. 5 (March 5, 2012): 872–908. http://dx.doi.org/10.1093/jigpal/jzs010.
Повний текст джерелаTiomkin, M., and J. A. Makowsky. "Decidability of finite probabilistic propositional dynamic logics." Information and Computation 94, no. 2 (October 1991): 180–203. http://dx.doi.org/10.1016/0890-5401(91)90037-3.
Повний текст джерелаBeierle, Christoph, and Gabriele Kern-Isberner. "Semantical investigations into nonmonotonic and probabilistic logics." Annals of Mathematics and Artificial Intelligence 65, no. 2-3 (July 2012): 123–58. http://dx.doi.org/10.1007/s10472-012-9310-1.
Повний текст джерелаGiordano, Laura, Valentina Gliozzi, and Daniele Theseider DuprÉ. "A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps." Journal of Logic and Computation 32, no. 2 (January 17, 2022): 178–205. http://dx.doi.org/10.1093/logcom/exab082.
Повний текст джерелаKIMMIG, ANGELIKA, BART DEMOEN, LUC DE RAEDT, VÍTOR SANTOS COSTA, and RICARDO ROCHA. "On the implementation of the probabilistic logic programming language ProbLog." Theory and Practice of Logic Programming 11, no. 2-3 (January 27, 2011): 235–62. http://dx.doi.org/10.1017/s1471068410000566.
Повний текст джерелаChiara, Maria Luisa Dalla, Roberto Giuntini, Giuseppe Sergioli, and Roberto Leporini. "Abstract quantum computing machines and quantum computational logics." International Journal of Quantum Information 14, no. 04 (June 2016): 1640019. http://dx.doi.org/10.1142/s0219749916400190.
Повний текст джерелаCleaveland, Rance, S. Purushothaman Iyer, and Murali Narasimha. "Probabilistic temporal logics via the modal mu-calculus." Theoretical Computer Science 342, no. 2-3 (September 2005): 316–50. http://dx.doi.org/10.1016/j.tcs.2005.03.048.
Повний текст джерелаClerc, Florence, Nathanaël Fijalkow, Bartek Klin, and Prakash Panangaden. "Expressiveness of probabilistic modal logics: A gradual approach." Information and Computation 267 (August 2019): 145–63. http://dx.doi.org/10.1016/j.ic.2019.04.002.
Повний текст джерелаSvozil, Karl. "Faithful orthogonal representations of graphs from partition logics." Soft Computing 24, no. 14 (November 4, 2019): 10239–45. http://dx.doi.org/10.1007/s00500-019-04425-1.
Повний текст джерелаFlaminio, Tommaso, and Franco Montagna. "MV-algebras with internal states and probabilistic fuzzy logics." International Journal of Approximate Reasoning 50, no. 1 (January 2009): 138–52. http://dx.doi.org/10.1016/j.ijar.2008.07.006.
Повний текст джерелаOgnjanović, Zoran. "Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity." Journal of Logic and Computation 16, no. 2 (April 1, 2006): 257–85. http://dx.doi.org/10.1093/logcom/exi077.
Повний текст джерелаDoder, D., J. Grant, and Z. Ognjanovic. "Probabilistic logics for objects located in space and time." Journal of Logic and Computation 23, no. 3 (December 18, 2012): 487–515. http://dx.doi.org/10.1093/logcom/exs054.
Повний текст джерелаADAMS, ERNEST W. "A note on comparing probabilistic and modal logics of conditionals." Theoria 43, no. 3 (February 11, 2008): 186–94. http://dx.doi.org/10.1111/j.1755-2567.1977.tb00787.x.
Повний текст джерелаSnow, Paul. "Diverse confidence levels in a probabilistic semantics for conditional logics." Artificial Intelligence 113, no. 1-2 (September 1999): 269–79. http://dx.doi.org/10.1016/s0004-3702(99)00054-5.
Повний текст джерелаKonur, Savas, Michael Fisher, and Sven Schewe. "Combined model checking for temporal, probabilistic, and real-time logics." Theoretical Computer Science 503 (September 2013): 61–88. http://dx.doi.org/10.1016/j.tcs.2013.07.012.
Повний текст джерелаKarasev, Vasily, and Ekaterina Karaseva. "LOGICAL AND PROBABILISTIC METHOD FOR RISK MANAGEMENT IN SOCIO-ECONOMIC SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 2 (June 15, 2017): 58. http://dx.doi.org/10.17770/etr2017vol2.2584.
Повний текст джерелаKonur, Savas. "Towards Light-Weight Probabilistic Model Checking." Journal of Applied Mathematics 2014 (2014): 1–15. http://dx.doi.org/10.1155/2014/814159.
Повний текст джерелаGiang, P. H., D. Dubois, and H. Prade. "A Probabilistic Approach to Ordering Formulas in a Possibilistic Knowledge Base." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 06, no. 03 (June 1998): 241–56. http://dx.doi.org/10.1142/s0218488598000227.
Повний текст джерелаBERNARDO, MARCO, and STEFANIA BOTTA. "A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems." Mathematical Structures in Computer Science 18, no. 1 (February 2008): 29–55. http://dx.doi.org/10.1017/s0960129507006408.
Повний текст джерелаCai, Bibo, Xiao Ding, Bowen Chen, Li Du, and Ting Liu. "Mitigating Reporting Bias in Semi-supervised Temporal Commonsense Inference with Probabilistic Soft Logic." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 10 (June 28, 2022): 10454–62. http://dx.doi.org/10.1609/aaai.v36i10.21288.
Повний текст джерелаKokkinis, Ioannis. "The complexity of satisfiability in non-iterated and iterated probabilistic logics." Annals of Mathematics and Artificial Intelligence 83, no. 3-4 (July 6, 2018): 351–82. http://dx.doi.org/10.1007/s10472-018-9593-y.
Повний текст джерелаGrant, John, Francesco Parisi, Austin Parker, and V. S. Subrahmanian. "An AGM-style belief revision mechanism for probabilistic spatio-temporal logics." Artificial Intelligence 174, no. 1 (January 2010): 72–104. http://dx.doi.org/10.1016/j.artint.2009.10.002.
Повний текст джерелаSong, Fu, Yedi Zhang, Taolue Chen, Yu Tang, and Zhiwu Xu. "Probabilistic Alternating-Time µ-Calculus." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 6179–86. http://dx.doi.org/10.1609/aaai.v33i01.33016179.
Повний текст джерелаKlinov, Pavel Picado, Bijan Parsia, and David Muiño. "The Consistency of the Medical Expert System CADIAG-2." Journal of Information Technology Research 4, no. 1 (January 2011): 1–20. http://dx.doi.org/10.4018/jitr.2011010101.
Повний текст джерелаRequeno, José Ignacio, and José Manuel Colom. "Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study." Journal of Integrative Bioinformatics 11, no. 3 (December 1, 2014): 17–31. http://dx.doi.org/10.1515/jib-2014-248.
Повний текст джерелаJuba, Brendan. "Polynomial-Time Probabilistic Reasoning with Partial Observations via Implicit Learning in Probability Logics." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 7866–75. http://dx.doi.org/10.1609/aaai.v33i01.33017866.
Повний текст джерелаMa, Z. M., Fu Zhang, Hailong Wang, and Li Yan. "An overview of fuzzy Description Logics for the Semantic Web." Knowledge Engineering Review 28, no. 1 (October 31, 2012): 1–34. http://dx.doi.org/10.1017/s0269888912000306.
Повний текст джерелаPreto, Sandro Márcio da Silva. "Semantics modulo satisfiability with applications: function representation, probabilities and game theory." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 264–65. http://dx.doi.org/10.1017/bsl.2022.2.
Повний текст джерелаLukasiewicz, Thomas. "Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation." International Journal of Approximate Reasoning 44, no. 3 (March 2007): 301–21. http://dx.doi.org/10.1016/j.ijar.2006.07.015.
Повний текст джерела