Journal articles on the topic 'Combining logics'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Combining 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Jánossy, A., Á. Kurucz, and Á. E. Eiben. "Combining Algebraizable Logics." Notre Dame Journal of Formal Logic 37, no. 2 (April 1996): 366–80. http://dx.doi.org/10.1305/ndjfl/1040046092.
Full textRASGA, JOÃO, CRISTINA SERNADAS, and AMÍLCAR SERNADAS. "PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS." Review of Symbolic Logic 9, no. 4 (August 17, 2016): 641–63. http://dx.doi.org/10.1017/s1755020316000241.
Full textGabelaia, D., R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev. "Combining Spatial and Temporal Logics: Expressiveness vs. Complexity." Journal of Artificial Intelligence Research 23 (February 1, 2005): 167–243. http://dx.doi.org/10.1613/jair.1537.
Full textRABE, FLORIAN. "A logical framework combining model and proof theory." Mathematical Structures in Computer Science 23, no. 5 (March 1, 2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Full textÅgotnes, Thomas, and Natasha Alechina. "Coalition logic with individual, distributed and common knowledge1." Journal of Logic and Computation 29, no. 7 (August 15, 2018): 1041–69. http://dx.doi.org/10.1093/logcom/exv085.
Full textDalpiaz, Elena, Violina Rindova, and Davide Ravasi. "Combining Logics to Transform Organizational Agency." Administrative Science Quarterly 61, no. 3 (July 7, 2016): 347–92. http://dx.doi.org/10.1177/0001839216636103.
Full textMessing, Barbara. "Combining knowledge with many-valued logics." Data & Knowledge Engineering 23, no. 3 (September 1997): 297–315. http://dx.doi.org/10.1016/s0169-023x(97)00012-8.
Full textLiang, Chuck, and Dale Miller. "A focused approach to combining logics." Annals of Pure and Applied Logic 162, no. 9 (September 2011): 679–97. http://dx.doi.org/10.1016/j.apal.2011.01.012.
Full textSkjølsvik, Tale. "Combining goods and service-dominant logics in purchasing strategies." Journal of Business & Industrial Marketing 33, no. 8 (October 1, 2018): 1087–99. http://dx.doi.org/10.1108/jbim-09-2017-0220.
Full textOnishi, Tamaki. "Venture Philanthropy and Practice Variations: The Interplay of Institutional Logics and Organizational Identities." Nonprofit and Voluntary Sector Quarterly 48, no. 2 (January 17, 2019): 241–65. http://dx.doi.org/10.1177/0899764018819875.
Full textBoricic, Branislav. "Impossibility theorems in multiple von Wright’s preference logic." Ekonomski anali 59, no. 201 (2014): 69–84. http://dx.doi.org/10.2298/eka1401069b.
Full textKuznets, Roman, and Björn Lellmann. "Interpolation for intermediate logics via injective nested sequents." Journal of Logic and Computation 31, no. 3 (April 2021): 797–831. http://dx.doi.org/10.1093/logcom/exab015.
Full textMadhusudan, P., Gennaro Parlato, and Xiaokang Qiu. "Decidable logics combining heap structures and data." ACM SIGPLAN Notices 46, no. 1 (January 26, 2011): 611–22. http://dx.doi.org/10.1145/1925844.1926455.
Full textIashin, Boris Leonidovich. "Non-Classical Logics in Modern Science." Философская мысль, no. 1 (January 2023): 15–25. http://dx.doi.org/10.25136/2409-8728.2023.1.39350.
Full textMaseleno, Andino, Md Mahmud Hasan, and Norjaidi Tuah. "Combining Fuzzy Logic and Dempster-Shafer Theory." TELKOMNIKA Indonesian Journal of Electrical Engineering 16, no. 3 (December 1, 2015): 583. http://dx.doi.org/10.11591/tijee.v16i3.1651.
Full textKamide, 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.
Full textGabbay, D. M. "Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics." Journal of Symbolic Logic 61, no. 4 (December 1996): 1057–120. http://dx.doi.org/10.2307/2275807.
Full textvan der Hoeck, Wiebe. "Some considerations on the logics PFD A logic combining modality and probability." Journal of Applied Non-Classical Logics 7, no. 3 (January 1997): 287–307. http://dx.doi.org/10.1080/11663081.1997.10510916.
Full textSernadas, Cristina, João Rasga, and Walter A. Carnielli. "Modulated fibring and the collapsing problem." Journal of Symbolic Logic 67, no. 4 (December 2002): 1541–69. http://dx.doi.org/10.2178/jsl/1190150298.
Full textBenzmüller, Christoph. "Combining and automating classical and non-classical logics in classical higher-order logics." Annals of Mathematics and Artificial Intelligence 62, no. 1-2 (June 2011): 103–28. http://dx.doi.org/10.1007/s10472-011-9249-7.
Full textLevy, Alon Y., and Marie-Christine Rousset. "Combining Horn rules and description logics in CARIN." Artificial Intelligence 104, no. 1-2 (September 1998): 165–209. http://dx.doi.org/10.1016/s0004-3702(98)00048-4.
Full textBenrouba, Ferdaous, and Rachid Boudour. "A Model Combining BDI Logic and Temporal Logics for Decision-Making in Emergency." International Journal of Advances in Soft Computing and its Applications 14, no. 3 (November 28, 2022): 32–48. http://dx.doi.org/10.15849/ijasca.221128.03.
Full textStraccia, U. "Reasoning within Fuzzy Description Logics." Journal of Artificial Intelligence Research 14 (April 1, 2001): 137–66. http://dx.doi.org/10.1613/jair.813.
Full textBaader, F., C. Lutz, H. Sturm, and F. Wolter. "Fusions of Description Logics and Abstract Description Systems." Journal of Artificial Intelligence Research 16 (January 1, 2002): 1–58. http://dx.doi.org/10.1613/jair.919.
Full textLIANG, CHUCK. "On the unification of classical, intuitionistic and affine logics." Mathematical Structures in Computer Science 29, no. 8 (October 12, 2018): 1177–216. http://dx.doi.org/10.1017/s0960129518000403.
Full textBeziau, J. Y. "Preface of this special issue: The Challenge of Combining Logics." Logic Journal of IGPL 19, no. 4 (January 20, 2010): 543. http://dx.doi.org/10.1093/jigpal/jzp095.
Full textZheng, Xiaoqing. "Combining description logics and Horn rules with uncertainty in ARTIGENCE." Knowledge-Based Systems 24, no. 5 (July 2011): 595–608. http://dx.doi.org/10.1016/j.knosys.2011.01.006.
Full textSCHECHTER, JOSHUA. "JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS." Review of Symbolic Logic 4, no. 4 (October 12, 2011): 560–606. http://dx.doi.org/10.1017/s1755020311000219.
Full textCheng, Yongchao, Kexiang Shan, Yan Xu, Junliang Yang, Jun He, and Jie Jiang. "Hardware implementation of photoelectrically modulated dendritic arithmetic and spike-timing-dependent plasticity enabled by an ion-coupling gate-tunable vertical 0D-perovskite/2D-MoS2 hybrid-dimensional van der Waals heterostructure." Nanoscale 12, no. 42 (2020): 21798–811. http://dx.doi.org/10.1039/d0nr04950f.
Full textBezerra, Edson Vinícius. "Society semantics for four-valued Łukasiewicz logic." Logic Journal of the IGPL 28, no. 5 (November 29, 2018): 892–911. http://dx.doi.org/10.1093/jigpal/jzy066.
Full textKallio, Kirsi-Mari, Tomi J. Kallio, Giuseppe Grossi, and Janne Engblom. "Institutional logic and scholars' reactions to performance measurement in universities." Accounting, Auditing & Accountability Journal 34, no. 9 (April 13, 2021): 104–30. http://dx.doi.org/10.1108/aaaj-03-2018-3400.
Full textEiter, Thomas, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. "Combining answer set programming with description logics for the Semantic Web." Artificial Intelligence 172, no. 12-13 (August 2008): 1495–539. http://dx.doi.org/10.1016/j.artint.2008.04.002.
Full textBAIER, C., E. M. HAHN, B. R. HAVERKORT, H. HERMANNS, and J. P. KATOEN. "Model checking for performability." Mathematical Structures in Computer Science 23, no. 4 (July 8, 2013): 751–95. http://dx.doi.org/10.1017/s0960129512000254.
Full textJANSSEN, JEROEN, DIRK VERMEIR, STEVEN SCHOCKAERT, and MARTINE DE COCK. "Reducing fuzzy answer set programming to model finding in fuzzy logics." Theory and Practice of Logic Programming 12, no. 6 (June 21, 2011): 811–42. http://dx.doi.org/10.1017/s1471068411000093.
Full textLukácsy, Gergely, and Péter Szeredi. "Combining Description Logics and object oriented models in an information integration framework." Periodica Polytechnica Electrical Engineering 53, no. 1-2 (2009): 17. http://dx.doi.org/10.3311/pp.ee.2009-1-2.03.
Full textBjerregaard, Toke. "Co-existing institutional logics and agency among top-level public servants: A praxeological approach." Journal of Management & Organization 17, no. 2 (March 2011): 194–209. http://dx.doi.org/10.1017/s1833367200001619.
Full textBjerregaard, Toke. "Co-existing institutional logics and agency among top-level public servants: A praxeological approach." Journal of Management & Organization 17, no. 2 (March 2011): 194–209. http://dx.doi.org/10.5172/jmo.2011.17.2.194.
Full textVoutsadakis, George. "Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems." Journal of Mathematics 2013 (2013): 1–8. http://dx.doi.org/10.1155/2013/126347.
Full textBerglund-Snodgrass, Lina, and Dalia Mukhtar-Landgren. "Conceptualizing Testbed Planning: Urban Planning in the Intersection between Experimental and Public Sector Logics." Urban Planning 5, no. 1 (March 13, 2020): 96–106. http://dx.doi.org/10.17645/up.v5i1.2528.
Full textNOTTELMANN, 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.
Full textLoscher, Georg, and Stephan Kaiser. "Trustee or salesman:A case study on combining conflicting logics in German accounting firms." Academy of Management Proceedings 2016, no. 1 (January 2016): 10628. http://dx.doi.org/10.5465/ambpp.2016.10628abstract.
Full textDe Meo, Pasquale, Luigi Palopoli, Giovanni Quattrone, and Domenico Ursino. "Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources." Information Systems 32, no. 8 (December 2007): 1184–224. http://dx.doi.org/10.1016/j.is.2007.03.003.
Full textBattilana, Julie, Anne-Claire Pache, Metin Sengul, and Jacob Model. "Combining Social Welfare and Market Logics: What drives social performance in socioeconomic hybrids?" Academy of Management Proceedings 2012, no. 1 (July 2012): 13268. http://dx.doi.org/10.5465/ambpp.2012.13268abstract.
Full textMatinheikki, Juri, Nader Naderpajouh, Guillermo Aranda-Mena, Sajani Jayasuriya, and Pauline Teo. "Befriending Aliens: Institutional Complexity and Organizational Responses in Infrastructure Public–Private Partnerships." Project Management Journal 52, no. 5 (June 30, 2021): 453–70. http://dx.doi.org/10.1177/87569728211024385.
Full textWANG, HAIBIN, ANDRÉ ROGATKO, FLORENTIN SMARANDACHE, and RAJSHEKHAR SUNDERRAMAN. "A NEUTROSOPHIC DESCRIPTION LOGIC." New Mathematics and Natural Computation 04, no. 03 (November 2008): 273–90. http://dx.doi.org/10.1142/s1793005708001100.
Full textKaram, Charlotte M., and Fida Afiouni. "Women and the legitimization of (not) engaging in paid work: logics from Lebanon." Career Development International 22, no. 6 (October 9, 2017): 628–58. http://dx.doi.org/10.1108/cdi-09-2016-0148.
Full textUrquhart, Alasdair. "The complexity of decision procedures in relevance logic II." Journal of Symbolic Logic 64, no. 4 (December 1999): 1774–802. http://dx.doi.org/10.2307/2586811.
Full textBeritelli, Pietro, Stephan Reinhold, and Christian Laesser. "Logics behind evading overnight taxes: a configurational analysis." International Journal of Contemporary Hospitality Management 32, no. 2 (January 13, 2020): 871–88. http://dx.doi.org/10.1108/ijchm-05-2019-0421.
Full textBeckmann, Markus, and Anica Zeyen. "Franchising as a Strategy for Combining Small and Large Group Advantages (Logics) in Social Entrepreneurship." Nonprofit and Voluntary Sector Quarterly 43, no. 3 (January 8, 2013): 502–22. http://dx.doi.org/10.1177/0899764012470758.
Full textLeiser, David, and Dov-Ron Schatzberg. "On the complexity of traffic judges' decisions." Judgment and Decision Making 3, no. 8 (December 2008): 667–78. http://dx.doi.org/10.1017/s1930297500001613.
Full text