Artykuły w czasopismach na temat „Logics and meaning of programs”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Logics and meaning of programs”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Hornischer, Levin. "Logics of Synonymy". Journal of Philosophical Logic 49, nr 4 (9.01.2020): 767–805. http://dx.doi.org/10.1007/s10992-019-09537-5.
Pełny tekst źródłaFaber, Wolfgang, Michael Morak i Stefan Woltran. "Strong Equivalence for Epistemic Logic Programs Made Easy". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17.07.2019): 2809–16. http://dx.doi.org/10.1609/aaai.v33i01.33012809.
Pełny tekst źródłaHARRISON, AMELIA, i YULIYA LIERLER. "First-order modular logic programs and their conservative extensions". Theory and Practice of Logic Programming 16, nr 5-6 (wrzesień 2016): 755–70. http://dx.doi.org/10.1017/s1471068416000430.
Pełny tekst źródłaDe Giacomo, G., i M. Lenzerini. "A Uniform Framework for Concept Definitions in Description Logics". Journal of Artificial Intelligence Research 6 (1.03.1997): 87–110. http://dx.doi.org/10.1613/jair.334.
Pełny tekst źródłaMabuchi, Hiroshi, Kiyoshi Akama, Hidekatsu Koike i Katsunori Miura. "Infinite Computation in the Equivalent Transformation Model". Journal of Advanced Computational Intelligence and Intelligent Informatics 11, nr 2 (20.02.2007): 176–86. http://dx.doi.org/10.20965/jaciii.2007.p0176.
Pełny tekst źródłaHAYES, IAN, ROBERT COLVIN, DAVID HEMER, PAUL STROOPER i RAY NICKSON. "A refinement calculus for logic programs". Theory and Practice of Logic Programming 2, nr 4-5 (lipiec 2002): 425–60. http://dx.doi.org/10.1017/s1471068402001448.
Pełny tekst źródłaSubrahmanian, V. S. "Y-Logic: A Framework for Reasoning About Chameleonic Programs with Inconsistent Completions". Fundamenta Informaticae 13, nr 4 (1.10.1990): 465–83. http://dx.doi.org/10.3233/fi-1990-13405.
Pełny tekst źródłaHirani, Anil, i V. S. Subrahmanian. "Algebraic Foundations of Logic Programming, I: The Distributive Lattice of Logic Programs". Fundamenta Informaticae 13, nr 3 (1.07.1990): 317–32. http://dx.doi.org/10.3233/fi-1990-13306.
Pełny tekst źródłaDAGNINO, FRANCESCO, DAVIDE ANCONA i ELENA ZUCCA. "Flexible coinductive logic programming". Theory and Practice of Logic Programming 20, nr 6 (22.09.2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.
Pełny tekst źródłaBergadano, F., D. Gunetti i U. Trinchero. "The Difficulties of Learning Logic Programs with Cut". Journal of Artificial Intelligence Research 1 (1.11.1993): 91–107. http://dx.doi.org/10.1613/jair.26.
Pełny tekst źródłaCozman, Fabio Gagliardi, i Denis Deratani Mauá. "On the Semantics and Complexity of Probabilistic Logic Programs". Journal of Artificial Intelligence Research 60 (27.09.2017): 221–62. http://dx.doi.org/10.1613/jair.5482.
Pełny tekst źródłaPierotti, Rachael S., Milli Lake i Chloé Lewis. "Equality on His Terms: Doing and Undoing Gender through Men’s Discussion Groups". Gender & Society 32, nr 4 (21.06.2018): 540–62. http://dx.doi.org/10.1177/0891243218779779.
Pełny tekst źródłaLOKE, SENG WAI, i ANDREW DAVISON. "Secure Prolog-based mobile code". Theory and Practice of Logic Programming 1, nr 3 (maj 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.
Pełny tekst źródłaCABALAR, PEDRO. "Functional answer set programming". Theory and Practice of Logic Programming 11, nr 2-3 (4.02.2011): 203–33. http://dx.doi.org/10.1017/s1471068410000517.
Pełny tekst źródłaNAISH, LEE, i HARALD SØNDERGAARD. "Truth versus information in logic programming". Theory and Practice of Logic Programming 14, nr 6 (3.06.2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.
Pełny tekst źródłaTselishchev, Vitaly V. "Intensionality: From Philosophical Logic to Metamathematics". Vestnik Tomskogo gosudarstvennogo universiteta, nr 458 (2020): 85–89. http://dx.doi.org/10.17223/15617793/458/10.
Pełny tekst źródłaBezerra, Ada Augusta Celestino, i 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, nr 2 (9.10.2017): 236. http://dx.doi.org/10.26843/ae19828632v10n22017p236a250.
Pełny tekst źródłaKultaieva, Maria. "Political Implications of Philosophical Pedagogy." Filosofiya osvity. Philosophy of Education 24, nr 1 (4.12.2019): 32–51. http://dx.doi.org/10.31874/2309-1606-2019-24-1-32-51.
Pełny tekst źródłaWasilewska, Anita. "Programs and logics". Studia Logica 44, nr 2 (1985): 125–37. http://dx.doi.org/10.1007/bf00379762.
Pełny tekst źródłaBuijkx, Michael. "Woordenschatgraven". Lampas 53, nr 3 (1.10.2020): 360–83. http://dx.doi.org/10.5117/lam2020.3.005.buij.
Pełny tekst źródłaBaltag, Alexandru, i Lawrence S. Moss. "Logics for Epistemic Programs". Synthese 139, nr 2 (marzec 2004): 165–224. http://dx.doi.org/10.1023/b:synt.0000024912.56773.5e.
Pełny tekst źródłaSulistyaningrum, Siti Drivoka, i 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, nr 1 (1.06.2015): 41–54. http://dx.doi.org/10.21009/ijlecr.011.05.
Pełny tekst źródłaLeivant, Daniel. "Inductive Completeness of Logics of Programs". Electronic Notes in Theoretical Computer Science 228 (styczeń 2009): 101–12. http://dx.doi.org/10.1016/j.entcs.2008.12.119.
Pełny tekst źródłaBarthe, Gilles, Juan Manuel Crespo i César Kunz. "Product programs and relational program logics". Journal of Logical and Algebraic Methods in Programming 85, nr 5 (sierpień 2016): 847–59. http://dx.doi.org/10.1016/j.jlamp.2016.05.004.
Pełny tekst źródłaUrzyczyn, Pawel. "Logics of Programs with Boolean Memory". Fundamenta Informaticae 11, nr 1 (1.01.1988): 21–40. http://dx.doi.org/10.3233/fi-1988-11103.
Pełny tekst źródłaIlic-Stepic, Angelina, i Zoran Ognjanovic. "Complex valued probability logics". Publications de l'Institut Math?matique (Belgrade) 95, nr 109 (2014): 73–86. http://dx.doi.org/10.2298/pim1409073i.
Pełny tekst źródłaFosado Centeno, Ericka. "The Socio-Political Construction of Climate Change: Looking for Paths to Sustainability and Gender Justice". Sustainability 12, nr 8 (21.04.2020): 3382. http://dx.doi.org/10.3390/su12083382.
Pełny tekst źródłaHood, Katherine. "The science of value: Economic expertise and the valuation of human life in US federal regulatory agencies". Social Studies of Science 47, nr 4 (21.03.2017): 441–65. http://dx.doi.org/10.1177/0306312717693465.
Pełny tekst źródłaPasztor, Ana. "Recursive programs and denotational semantics in absolute logics of programs". Theoretical Computer Science 70, nr 1 (styczeń 1990): 127–50. http://dx.doi.org/10.1016/0304-3975(90)90156-c.
Pełny tekst źródłaBrown, Hana E., i Rachel Kahn Best. "Logics of Redistribution". Sociological Perspectives 60, nr 4 (1.07.2016): 786–809. http://dx.doi.org/10.1177/0731121416656843.
Pełny tekst źródłaAntipin, A. F. "Programs evaluation of controllers with programmable logics". Automation, Telemechanization and Communication in Oil Industry, nr 11 (2018): 41–46. http://dx.doi.org/10.30713/0132-2222-2018-11-41-46.
Pełny tekst źródłaSain, Ildikó. "Total correctness in nonstandard logics of programs". Theoretical Computer Science 50, nr 3 (1987): 285–321. http://dx.doi.org/10.1016/0304-3975(87)90118-6.
Pełny tekst źródłaVoorneveld, Niels. "Quantitative Logics for Equivalence of Effectful Programs". Electronic Notes in Theoretical Computer Science 347 (listopad 2019): 281–301. http://dx.doi.org/10.1016/j.entcs.2019.09.015.
Pełny tekst źródłaWasilewska, Anita. "Monadic Second Order Definability as a Common Characterization of Finite Automata, Certain Classes of Programs and Logics". Fundamenta Informaticae 8, nr 3-4 (1.07.1985): 309–20. http://dx.doi.org/10.3233/fi-1985-83-404.
Pełny tekst źródłaSzalas, Andrzej. "On strictly arithmetical completeness in logics of programs". Theoretical Computer Science 79, nr 2 (luty 1991): 341–55. http://dx.doi.org/10.1016/0304-3975(91)90336-z.
Pełny tekst źródłaDybjer, Peter. "Comparing integrated and external logics of functional programs". Science of Computer Programming 14, nr 1 (czerwiec 1990): 59–79. http://dx.doi.org/10.1016/0167-6423(90)90058-l.
Pełny tekst źródłaVardi, Moshe Y., i Pierre Wolper. "Automata-theoretic techniques for modal logics of programs". Journal of Computer and System Sciences 32, nr 2 (kwiecień 1986): 183–221. http://dx.doi.org/10.1016/0022-0000(86)90026-7.
Pełny tekst źródłaDanko, Wktor. "Axiomatizable Classes in Many-Sorted Logics of Programs". Fundamenta Informaticae 8, nr 3-4 (1.07.1985): 269–83. http://dx.doi.org/10.3233/fi-1985-83-402.
Pełny tekst źródłaBERTINI, CESARINO, i ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS". International Journal of Quantum Information 10, nr 03 (kwiecień 2012): 1250036. http://dx.doi.org/10.1142/s0219749912500360.
Pełny tekst źródłaGasmi, Mohamed, i Mustapha Bourahla. "Reasoning with Vague Concepts in Description Logics". International Journal of Fuzzy System Applications 6, nr 2 (kwiecień 2017): 43–58. http://dx.doi.org/10.4018/ijfsa.2017040103.
Pełny tekst źródłaYoun, Myung-Chul. "Beauty, meaning, and logics Reflected on King Gwanggaeto's Monument". Journal of Gojiseon & Dangun Studies 30 (30.06.2014): 283. http://dx.doi.org/10.18706/jgds.2014.06.30.283.
Pełny tekst źródłaDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI i ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION". International Journal of Quantum Information 03, nr 02 (czerwiec 2005): 293–337. http://dx.doi.org/10.1142/s0219749905000943.
Pełny tekst źródłaDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI i ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS". International Journal of Quantum Information 03, nr 01 (marzec 2005): 9–16. http://dx.doi.org/10.1142/s0219749905000372.
Pełny tekst źródłaBERTINI, CESARINO, i ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS". International Journal of Quantum Information 05, nr 05 (październik 2007): 641–65. http://dx.doi.org/10.1142/s0219749907003109.
Pełny tekst źródłaDE JONGH, DICK H. J., i LEX HENDRIKS. "Characterization of strongly equivalent logic programs in intermediate logics". Theory and Practice of Logic Programming 3, nr 03 (maj 2003): 259–70. http://dx.doi.org/10.1017/s147106840200159x.
Pełny tekst źródłaEmerson, E. Allen, i Charanjit S. Jutla. "The Complexity of Tree Automata and Logics of Programs". SIAM Journal on Computing 29, nr 1 (styczeń 1999): 132–58. http://dx.doi.org/10.1137/s0097539793304741.
Pełny tekst źródłaLoyer, Yann, Nicolas Spyratos i Daniel Stamate. "Hypothesis-based semantics of logic programs in multivalued logics". ACM Transactions on Computational Logic 5, nr 3 (lipiec 2004): 508–27. http://dx.doi.org/10.1145/1013560.1013565.
Pełny tekst źródłaTiuryn, Jerzy, i Pawel Urzyczyn. "Some relationships between logics of programs and complexity theory". Theoretical Computer Science 60, nr 1 (marzec 1988): 83–108. http://dx.doi.org/10.1016/0304-3975(88)90052-7.
Pełny tekst źródłaValiev, M. K. "∏11-universality of some propositional logics of concurrent programs". Theoretical Computer Science 119, nr 1 (październik 1993): 223–32. http://dx.doi.org/10.1016/0304-3975(93)90347-v.
Pełny tekst źródłaOSORIO, MAURICIO, JUAN A. NAVARRO i JOSÉ ARRAZOLA. "Applications of intuitionistic logic in Answer Set Programming". Theory and Practice of Logic Programming 4, nr 3 (16.04.2004): 325–54. http://dx.doi.org/10.1017/s1471068403001881.
Pełny tekst źródła