Artículos de revistas sobre el tema "Logics and meaning of programs"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Logics and meaning of programs".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Hornischer, Levin. "Logics of Synonymy". Journal of Philosophical Logic 49, n.º 4 (9 de enero de 2020): 767–805. http://dx.doi.org/10.1007/s10992-019-09537-5.
Texto completoFaber, Wolfgang, Michael Morak y Stefan Woltran. "Strong Equivalence for Epistemic Logic Programs Made Easy". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 de julio de 2019): 2809–16. http://dx.doi.org/10.1609/aaai.v33i01.33012809.
Texto completoHARRISON, AMELIA y YULIYA LIERLER. "First-order modular logic programs and their conservative extensions". Theory and Practice of Logic Programming 16, n.º 5-6 (septiembre de 2016): 755–70. http://dx.doi.org/10.1017/s1471068416000430.
Texto completoDe Giacomo, G. y M. Lenzerini. "A Uniform Framework for Concept Definitions in Description Logics". Journal of Artificial Intelligence Research 6 (1 de marzo de 1997): 87–110. http://dx.doi.org/10.1613/jair.334.
Texto completoMabuchi, Hiroshi, Kiyoshi Akama, Hidekatsu Koike y Katsunori Miura. "Infinite Computation in the Equivalent Transformation Model". Journal of Advanced Computational Intelligence and Intelligent Informatics 11, n.º 2 (20 de febrero de 2007): 176–86. http://dx.doi.org/10.20965/jaciii.2007.p0176.
Texto completoHAYES, IAN, ROBERT COLVIN, DAVID HEMER, PAUL STROOPER y RAY NICKSON. "A refinement calculus for logic programs". Theory and Practice of Logic Programming 2, n.º 4-5 (julio de 2002): 425–60. http://dx.doi.org/10.1017/s1471068402001448.
Texto completoSubrahmanian, V. S. "Y-Logic: A Framework for Reasoning About Chameleonic Programs with Inconsistent Completions". Fundamenta Informaticae 13, n.º 4 (1 de octubre de 1990): 465–83. http://dx.doi.org/10.3233/fi-1990-13405.
Texto completoHirani, Anil y V. S. Subrahmanian. "Algebraic Foundations of Logic Programming, I: The Distributive Lattice of Logic Programs". Fundamenta Informaticae 13, n.º 3 (1 de julio de 1990): 317–32. http://dx.doi.org/10.3233/fi-1990-13306.
Texto completoDAGNINO, FRANCESCO, DAVIDE ANCONA y ELENA ZUCCA. "Flexible coinductive logic programming". Theory and Practice of Logic Programming 20, n.º 6 (22 de septiembre de 2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.
Texto completoBergadano, F., D. Gunetti y U. Trinchero. "The Difficulties of Learning Logic Programs with Cut". Journal of Artificial Intelligence Research 1 (1 de noviembre de 1993): 91–107. http://dx.doi.org/10.1613/jair.26.
Texto completoCozman, Fabio Gagliardi y Denis Deratani Mauá. "On the Semantics and Complexity of Probabilistic Logic Programs". Journal of Artificial Intelligence Research 60 (27 de septiembre de 2017): 221–62. http://dx.doi.org/10.1613/jair.5482.
Texto completoPierotti, Rachael S., Milli Lake y Chloé Lewis. "Equality on His Terms: Doing and Undoing Gender through Men’s Discussion Groups". Gender & Society 32, n.º 4 (21 de junio de 2018): 540–62. http://dx.doi.org/10.1177/0891243218779779.
Texto completoLOKE, SENG WAI y ANDREW DAVISON. "Secure Prolog-based mobile code". Theory and Practice of Logic Programming 1, n.º 3 (mayo de 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.
Texto completoCABALAR, PEDRO. "Functional answer set programming". Theory and Practice of Logic Programming 11, n.º 2-3 (4 de febrero de 2011): 203–33. http://dx.doi.org/10.1017/s1471068410000517.
Texto completoNAISH, LEE y HARALD SØNDERGAARD. "Truth versus information in logic programming". Theory and Practice of Logic Programming 14, n.º 6 (3 de junio de 2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.
Texto completoTselishchev, Vitaly V. "Intensionality: From Philosophical Logic to Metamathematics". Vestnik Tomskogo gosudarstvennogo universiteta, n.º 458 (2020): 85–89. http://dx.doi.org/10.17223/15617793/458/10.
Texto completoBezerra, Ada Augusta Celestino y 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, n.º 2 (9 de octubre de 2017): 236. http://dx.doi.org/10.26843/ae19828632v10n22017p236a250.
Texto completoKultaieva, Maria. "Political Implications of Philosophical Pedagogy." Filosofiya osvity. Philosophy of Education 24, n.º 1 (4 de diciembre de 2019): 32–51. http://dx.doi.org/10.31874/2309-1606-2019-24-1-32-51.
Texto completoWasilewska, Anita. "Programs and logics". Studia Logica 44, n.º 2 (1985): 125–37. http://dx.doi.org/10.1007/bf00379762.
Texto completoBuijkx, Michael. "Woordenschatgraven". Lampas 53, n.º 3 (1 de octubre de 2020): 360–83. http://dx.doi.org/10.5117/lam2020.3.005.buij.
Texto completoBaltag, Alexandru y Lawrence S. Moss. "Logics for Epistemic Programs". Synthese 139, n.º 2 (marzo de 2004): 165–224. http://dx.doi.org/10.1023/b:synt.0000024912.56773.5e.
Texto completoSulistyaningrum, Siti Drivoka y 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, n.º 1 (1 de junio de 2015): 41–54. http://dx.doi.org/10.21009/ijlecr.011.05.
Texto completoLeivant, Daniel. "Inductive Completeness of Logics of Programs". Electronic Notes in Theoretical Computer Science 228 (enero de 2009): 101–12. http://dx.doi.org/10.1016/j.entcs.2008.12.119.
Texto completoBarthe, Gilles, Juan Manuel Crespo y César Kunz. "Product programs and relational program logics". Journal of Logical and Algebraic Methods in Programming 85, n.º 5 (agosto de 2016): 847–59. http://dx.doi.org/10.1016/j.jlamp.2016.05.004.
Texto completoUrzyczyn, Pawel. "Logics of Programs with Boolean Memory". Fundamenta Informaticae 11, n.º 1 (1 de enero de 1988): 21–40. http://dx.doi.org/10.3233/fi-1988-11103.
Texto completoIlic-Stepic, Angelina y Zoran Ognjanovic. "Complex valued probability logics". Publications de l'Institut Math?matique (Belgrade) 95, n.º 109 (2014): 73–86. http://dx.doi.org/10.2298/pim1409073i.
Texto completoFosado Centeno, Ericka. "The Socio-Political Construction of Climate Change: Looking for Paths to Sustainability and Gender Justice". Sustainability 12, n.º 8 (21 de abril de 2020): 3382. http://dx.doi.org/10.3390/su12083382.
Texto completoHood, Katherine. "The science of value: Economic expertise and the valuation of human life in US federal regulatory agencies". Social Studies of Science 47, n.º 4 (21 de marzo de 2017): 441–65. http://dx.doi.org/10.1177/0306312717693465.
Texto completoPasztor, Ana. "Recursive programs and denotational semantics in absolute logics of programs". Theoretical Computer Science 70, n.º 1 (enero de 1990): 127–50. http://dx.doi.org/10.1016/0304-3975(90)90156-c.
Texto completoBrown, Hana E. y Rachel Kahn Best. "Logics of Redistribution". Sociological Perspectives 60, n.º 4 (1 de julio de 2016): 786–809. http://dx.doi.org/10.1177/0731121416656843.
Texto completoAntipin, A. F. "Programs evaluation of controllers with programmable logics". Automation, Telemechanization and Communication in Oil Industry, n.º 11 (2018): 41–46. http://dx.doi.org/10.30713/0132-2222-2018-11-41-46.
Texto completoSain, Ildikó. "Total correctness in nonstandard logics of programs". Theoretical Computer Science 50, n.º 3 (1987): 285–321. http://dx.doi.org/10.1016/0304-3975(87)90118-6.
Texto completoVoorneveld, Niels. "Quantitative Logics for Equivalence of Effectful Programs". Electronic Notes in Theoretical Computer Science 347 (noviembre de 2019): 281–301. http://dx.doi.org/10.1016/j.entcs.2019.09.015.
Texto completoWasilewska, Anita. "Monadic Second Order Definability as a Common Characterization of Finite Automata, Certain Classes of Programs and Logics". Fundamenta Informaticae 8, n.º 3-4 (1 de julio de 1985): 309–20. http://dx.doi.org/10.3233/fi-1985-83-404.
Texto completoSzalas, Andrzej. "On strictly arithmetical completeness in logics of programs". Theoretical Computer Science 79, n.º 2 (febrero de 1991): 341–55. http://dx.doi.org/10.1016/0304-3975(91)90336-z.
Texto completoDybjer, Peter. "Comparing integrated and external logics of functional programs". Science of Computer Programming 14, n.º 1 (junio de 1990): 59–79. http://dx.doi.org/10.1016/0167-6423(90)90058-l.
Texto completoVardi, Moshe Y. y Pierre Wolper. "Automata-theoretic techniques for modal logics of programs". Journal of Computer and System Sciences 32, n.º 2 (abril de 1986): 183–221. http://dx.doi.org/10.1016/0022-0000(86)90026-7.
Texto completoDanko, Wktor. "Axiomatizable Classes in Many-Sorted Logics of Programs". Fundamenta Informaticae 8, n.º 3-4 (1 de julio de 1985): 269–83. http://dx.doi.org/10.3233/fi-1985-83-402.
Texto completoBERTINI, CESARINO y ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS". International Journal of Quantum Information 10, n.º 03 (abril de 2012): 1250036. http://dx.doi.org/10.1142/s0219749912500360.
Texto completoGasmi, Mohamed y Mustapha Bourahla. "Reasoning with Vague Concepts in Description Logics". International Journal of Fuzzy System Applications 6, n.º 2 (abril de 2017): 43–58. http://dx.doi.org/10.4018/ijfsa.2017040103.
Texto completoYoun, Myung-Chul. "Beauty, meaning, and logics Reflected on King Gwanggaeto's Monument". Journal of Gojiseon & Dangun Studies 30 (30 de junio de 2014): 283. http://dx.doi.org/10.18706/jgds.2014.06.30.283.
Texto completoDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI y ROBERTO LEPORINI. "LOGICS FROM QUANTUM COMPUTATION". International Journal of Quantum Information 03, n.º 02 (junio de 2005): 293–337. http://dx.doi.org/10.1142/s0219749905000943.
Texto completoDALLA CHIARA, MARIA LUISA, ROBERTO GIUNTINI y ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS". International Journal of Quantum Information 03, n.º 01 (marzo de 2005): 9–16. http://dx.doi.org/10.1142/s0219749905000372.
Texto completoBERTINI, CESARINO y ROBERTO LEPORINI. "QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS". International Journal of Quantum Information 05, n.º 05 (octubre de 2007): 641–65. http://dx.doi.org/10.1142/s0219749907003109.
Texto completoDE JONGH, DICK H. J. y LEX HENDRIKS. "Characterization of strongly equivalent logic programs in intermediate logics". Theory and Practice of Logic Programming 3, n.º 03 (mayo de 2003): 259–70. http://dx.doi.org/10.1017/s147106840200159x.
Texto completoEmerson, E. Allen y Charanjit S. Jutla. "The Complexity of Tree Automata and Logics of Programs". SIAM Journal on Computing 29, n.º 1 (enero de 1999): 132–58. http://dx.doi.org/10.1137/s0097539793304741.
Texto completoLoyer, Yann, Nicolas Spyratos y Daniel Stamate. "Hypothesis-based semantics of logic programs in multivalued logics". ACM Transactions on Computational Logic 5, n.º 3 (julio de 2004): 508–27. http://dx.doi.org/10.1145/1013560.1013565.
Texto completoTiuryn, Jerzy y Pawel Urzyczyn. "Some relationships between logics of programs and complexity theory". Theoretical Computer Science 60, n.º 1 (marzo de 1988): 83–108. http://dx.doi.org/10.1016/0304-3975(88)90052-7.
Texto completoValiev, M. K. "∏11-universality of some propositional logics of concurrent programs". Theoretical Computer Science 119, n.º 1 (octubre de 1993): 223–32. http://dx.doi.org/10.1016/0304-3975(93)90347-v.
Texto completoOSORIO, MAURICIO, JUAN A. NAVARRO y JOSÉ ARRAZOLA. "Applications of intuitionistic logic in Answer Set Programming". Theory and Practice of Logic Programming 4, n.º 3 (16 de abril de 2004): 325–54. http://dx.doi.org/10.1017/s1471068403001881.
Texto completo