Статті в журналах з теми "Logics and meaning of programs"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Logics and meaning of programs".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Hornischer, Levin. "Logics of Synonymy." Journal of Philosophical Logic 49, no. 4 (January 9, 2020): 767–805. http://dx.doi.org/10.1007/s10992-019-09537-5.
Повний текст джерелаFaber, Wolfgang, Michael Morak, and Stefan Woltran. "Strong Equivalence for Epistemic Logic Programs Made Easy." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 2809–16. http://dx.doi.org/10.1609/aaai.v33i01.33012809.
Повний текст джерелаHARRISON, AMELIA, and YULIYA LIERLER. "First-order modular logic programs and their conservative extensions." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 755–70. http://dx.doi.org/10.1017/s1471068416000430.
Повний текст джерелаDe Giacomo, G., and M. Lenzerini. "A Uniform Framework for Concept Definitions in Description Logics." Journal of Artificial Intelligence Research 6 (March 1, 1997): 87–110. http://dx.doi.org/10.1613/jair.334.
Повний текст джерелаMabuchi, Hiroshi, Kiyoshi Akama, Hidekatsu Koike, and Katsunori Miura. "Infinite Computation in the Equivalent Transformation Model." Journal of Advanced Computational Intelligence and Intelligent Informatics 11, no. 2 (February 20, 2007): 176–86. http://dx.doi.org/10.20965/jaciii.2007.p0176.
Повний текст джерелаHAYES, IAN, ROBERT COLVIN, DAVID HEMER, PAUL STROOPER, and RAY NICKSON. "A refinement calculus for logic programs." Theory and Practice of Logic Programming 2, no. 4-5 (July 2002): 425–60. http://dx.doi.org/10.1017/s1471068402001448.
Повний текст джерелаSubrahmanian, V. S. "Y-Logic: A Framework for Reasoning About Chameleonic Programs with Inconsistent Completions." Fundamenta Informaticae 13, no. 4 (October 1, 1990): 465–83. http://dx.doi.org/10.3233/fi-1990-13405.
Повний текст джерелаHirani, Anil, and V. S. Subrahmanian. "Algebraic Foundations of Logic Programming, I: The Distributive Lattice of Logic Programs." Fundamenta Informaticae 13, no. 3 (July 1, 1990): 317–32. http://dx.doi.org/10.3233/fi-1990-13306.
Повний текст джерелаDAGNINO, FRANCESCO, DAVIDE ANCONA, and ELENA ZUCCA. "Flexible coinductive logic programming." Theory and Practice of Logic Programming 20, no. 6 (September 22, 2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.
Повний текст джерелаBergadano, F., D. Gunetti, and U. Trinchero. "The Difficulties of Learning Logic Programs with Cut." Journal of Artificial Intelligence Research 1 (November 1, 1993): 91–107. http://dx.doi.org/10.1613/jair.26.
Повний текст джерелаCozman, Fabio Gagliardi, and Denis Deratani Mauá. "On the Semantics and Complexity of Probabilistic Logic Programs." Journal of Artificial Intelligence Research 60 (September 27, 2017): 221–62. http://dx.doi.org/10.1613/jair.5482.
Повний текст джерелаPierotti, Rachael S., Milli Lake, and Chloé Lewis. "Equality on His Terms: Doing and Undoing Gender through Men’s Discussion Groups." Gender & Society 32, no. 4 (June 21, 2018): 540–62. http://dx.doi.org/10.1177/0891243218779779.
Повний текст джерелаLOKE, SENG WAI, and ANDREW DAVISON. "Secure Prolog-based mobile code." Theory and Practice of Logic Programming 1, no. 3 (May 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.
Повний текст джерелаCABALAR, PEDRO. "Functional answer set programming." Theory and Practice of Logic Programming 11, no. 2-3 (February 4, 2011): 203–33. http://dx.doi.org/10.1017/s1471068410000517.
Повний текст джерелаNAISH, LEE, and HARALD SØNDERGAARD. "Truth versus information in logic programming." Theory and Practice of Logic Programming 14, no. 6 (June 3, 2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.
Повний текст джерелаTselishchev, Vitaly V. "Intensionality: From Philosophical Logic to Metamathematics." Vestnik Tomskogo gosudarstvennogo universiteta, no. 458 (2020): 85–89. http://dx.doi.org/10.17223/15617793/458/10.
Повний текст джерелаBezerra, Ada Augusta Celestino, and Márcia Alves Carvalho Machado. "Programas de alfabetização para jovens e adultos: PAS e PBA, concepções e gestão." Revista @mbienteeducação 10, no. 2 (October 9, 2017): 236. http://dx.doi.org/10.26843/ae19828632v10n22017p236a250.
Повний текст джерелаKultaieva, Maria. "Political Implications of Philosophical Pedagogy." Filosofiya osvity. Philosophy of Education 24, no. 1 (December 4, 2019): 32–51. http://dx.doi.org/10.31874/2309-1606-2019-24-1-32-51.
Повний текст джерелаWasilewska, Anita. "Programs and logics." Studia Logica 44, no. 2 (1985): 125–37. http://dx.doi.org/10.1007/bf00379762.
Повний текст джерелаBuijkx, Michael. "Woordenschatgraven." Lampas 53, no. 3 (October 1, 2020): 360–83. http://dx.doi.org/10.5117/lam2020.3.005.buij.
Повний текст джерелаBaltag, Alexandru, and Lawrence S. Moss. "Logics for Epistemic Programs." Synthese 139, no. 2 (March 2004): 165–224. http://dx.doi.org/10.1023/b:synt.0000024912.56773.5e.
Повний текст джерелаSulistyaningrum, Siti Drivoka, and Yumna Rasyid. "THE LOGICO-SEMANTIC RELATION OF STUDENTS’ PRESENTATION IN ACCELERATION PROGRAM OF SMA LABSCHOOL JAKARTA." IJLECR - INTERNATIONAL JOURNAL OF LANGUAGE EDUCATION AND CULTURE REVIEW 1, no. 1 (June 1, 2015): 41–54. http://dx.doi.org/10.21009/ijlecr.011.05.
Повний текст джерелаLeivant, Daniel. "Inductive Completeness of Logics of Programs." Electronic Notes in Theoretical Computer Science 228 (January 2009): 101–12. http://dx.doi.org/10.1016/j.entcs.2008.12.119.
Повний текст джерелаBarthe, Gilles, Juan Manuel Crespo, and César Kunz. "Product programs and relational program logics." Journal of Logical and Algebraic Methods in Programming 85, no. 5 (August 2016): 847–59. http://dx.doi.org/10.1016/j.jlamp.2016.05.004.
Повний текст джерелаUrzyczyn, Pawel. "Logics of Programs with Boolean Memory." Fundamenta Informaticae 11, no. 1 (January 1, 1988): 21–40. http://dx.doi.org/10.3233/fi-1988-11103.
Повний текст джерела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.
Повний текст джерелаFosado Centeno, Ericka. "The Socio-Political Construction of Climate Change: Looking for Paths to Sustainability and Gender Justice." Sustainability 12, no. 8 (April 21, 2020): 3382. http://dx.doi.org/10.3390/su12083382.
Повний текст джерелаHood, Katherine. "The science of value: Economic expertise and the valuation of human life in US federal regulatory agencies." Social Studies of Science 47, no. 4 (March 21, 2017): 441–65. http://dx.doi.org/10.1177/0306312717693465.
Повний текст джерелаPasztor, Ana. "Recursive programs and denotational semantics in absolute logics of programs." Theoretical Computer Science 70, no. 1 (January 1990): 127–50. http://dx.doi.org/10.1016/0304-3975(90)90156-c.
Повний текст джерелаBrown, Hana E., and Rachel Kahn Best. "Logics of Redistribution." Sociological Perspectives 60, no. 4 (July 1, 2016): 786–809. http://dx.doi.org/10.1177/0731121416656843.
Повний текст джерелаAntipin, A. F. "Programs evaluation of controllers with programmable logics." Automation, Telemechanization and Communication in Oil Industry, no. 11 (2018): 41–46. http://dx.doi.org/10.30713/0132-2222-2018-11-41-46.
Повний текст джерелаSain, Ildikó. "Total correctness in nonstandard logics of programs." Theoretical Computer Science 50, no. 3 (1987): 285–321. http://dx.doi.org/10.1016/0304-3975(87)90118-6.
Повний текст джерелаVoorneveld, Niels. "Quantitative Logics for Equivalence of Effectful Programs." Electronic Notes in Theoretical Computer Science 347 (November 2019): 281–301. http://dx.doi.org/10.1016/j.entcs.2019.09.015.
Повний текст джерелаWasilewska, Anita. "Monadic Second Order Definability as a Common Characterization of Finite Automata, Certain Classes of Programs and Logics." Fundamenta Informaticae 8, no. 3-4 (July 1, 1985): 309–20. http://dx.doi.org/10.3233/fi-1985-83-404.
Повний текст джерелаSzalas, Andrzej. "On strictly arithmetical completeness in logics of programs." Theoretical Computer Science 79, no. 2 (February 1991): 341–55. http://dx.doi.org/10.1016/0304-3975(91)90336-z.
Повний текст джерелаDybjer, Peter. "Comparing integrated and external logics of functional programs." Science of Computer Programming 14, no. 1 (June 1990): 59–79. http://dx.doi.org/10.1016/0167-6423(90)90058-l.
Повний текст джерелаVardi, Moshe Y., and Pierre Wolper. "Automata-theoretic techniques for modal logics of programs." Journal of Computer and System Sciences 32, no. 2 (April 1986): 183–221. http://dx.doi.org/10.1016/0022-0000(86)90026-7.
Повний текст джерелаDanko, Wktor. "Axiomatizable Classes in Many-Sorted Logics of Programs." Fundamenta Informaticae 8, no. 3-4 (July 1, 1985): 269–83. http://dx.doi.org/10.3233/fi-1985-83-402.
Повний текст джерелаBERTINI, CESARINO, and ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS." International Journal of Quantum Information 10, no. 03 (April 2012): 1250036. http://dx.doi.org/10.1142/s0219749912500360.
Повний текст джерелаGasmi, Mohamed, and Mustapha Bourahla. "Reasoning with Vague Concepts in Description Logics." International Journal of Fuzzy System Applications 6, no. 2 (April 2017): 43–58. http://dx.doi.org/10.4018/ijfsa.2017040103.
Повний текст джерелаYoun, Myung-Chul. "Beauty, meaning, and logics Reflected on King Gwanggaeto's Monument." Journal of Gojiseon & Dangun Studies 30 (June 30, 2014): 283. http://dx.doi.org/10.18706/jgds.2014.06.30.283.
Повний текст джерелаDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI, and ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION." International Journal of Quantum Information 03, no. 02 (June 2005): 293–337. http://dx.doi.org/10.1142/s0219749905000943.
Повний текст джерелаDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI, and ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS." International Journal of Quantum Information 03, no. 01 (March 2005): 9–16. http://dx.doi.org/10.1142/s0219749905000372.
Повний текст джерелаBERTINI, CESARINO, and ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS." International Journal of Quantum Information 05, no. 05 (October 2007): 641–65. http://dx.doi.org/10.1142/s0219749907003109.
Повний текст джерелаDE JONGH, DICK H. J., and LEX HENDRIKS. "Characterization of strongly equivalent logic programs in intermediate logics." Theory and Practice of Logic Programming 3, no. 03 (May 2003): 259–70. http://dx.doi.org/10.1017/s147106840200159x.
Повний текст джерелаEmerson, E. Allen, and Charanjit S. Jutla. "The Complexity of Tree Automata and Logics of Programs." SIAM Journal on Computing 29, no. 1 (January 1999): 132–58. http://dx.doi.org/10.1137/s0097539793304741.
Повний текст джерелаLoyer, Yann, Nicolas Spyratos, and Daniel Stamate. "Hypothesis-based semantics of logic programs in multivalued logics." ACM Transactions on Computational Logic 5, no. 3 (July 2004): 508–27. http://dx.doi.org/10.1145/1013560.1013565.
Повний текст джерелаTiuryn, Jerzy, and Pawel Urzyczyn. "Some relationships between logics of programs and complexity theory." Theoretical Computer Science 60, no. 1 (March 1988): 83–108. http://dx.doi.org/10.1016/0304-3975(88)90052-7.
Повний текст джерелаValiev, M. K. "∏11-universality of some propositional logics of concurrent programs." Theoretical Computer Science 119, no. 1 (October 1993): 223–32. http://dx.doi.org/10.1016/0304-3975(93)90347-v.
Повний текст джерелаOSORIO, MAURICIO, JUAN A. NAVARRO, and JOSÉ ARRAZOLA. "Applications of intuitionistic logic in Answer Set Programming." Theory and Practice of Logic Programming 4, no. 3 (April 16, 2004): 325–54. http://dx.doi.org/10.1017/s1471068403001881.
Повний текст джерела