Artículos de revistas sobre el tema "Intensional programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 30 mejores artículos de revistas para su investigación sobre el tema "Intensional programming".
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.
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming". Journal of Algorithms 64, n.º 4 (octubre de 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Texto completoGalanaki, Chrysida, Christos Nomikos y Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming". Annals of Pure and Applied Logic 168, n.º 2 (febrero de 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Texto completoOrgun, Mehmet A. y William W. Wadge. "Towards a unified theory of intensional logic programming". Journal of Logic Programming 13, n.º 4 (agosto de 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Texto completoMajkić, Zoran y Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, n.º 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Texto completoMajkić, Zoran y Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, n.º 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Texto completoCimiano, Philipp, Sebastian Rudolph y Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach". Data & Knowledge Engineering 69, n.º 3 (marzo de 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Texto completoPlaice, John, Blanca Mancilla y Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming". Mathematics in Computer Science 2, n.º 1 (noviembre de 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Texto completoHARRISON, AMELIA y VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms". Theory and Practice of Logic Programming 16, n.º 5-6 (septiembre de 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Texto completoBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, n.º 3-4 (1 de mayo de 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Texto completoCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO y DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Texto completoFourtounis, Georgios, Nikolaos Papaspyrou y Panagiotis Theofilopoulos. "Modular polymorphic defunctionalization". Computer Science and Information Systems 11, n.º 4 (2014): 1417–34. http://dx.doi.org/10.2298/csis130923030f.
Texto completoTRIVELLATO, DANIEL, NICOLA ZANNONE y SANDRO ETALLE. "GEM: A distributed goal evaluation algorithm for trust management". Theory and Practice of Logic Programming 14, n.º 3 (3 de diciembre de 2012): 293–337. http://dx.doi.org/10.1017/s1471068412000397.
Texto completoDUNG, PHAN MINH, DO DUC HANH y PHAN MINH THANG. "Stabilization of cooperative information agents in unpredictable environment: a logic programming approach". Theory and Practice of Logic Programming 6, n.º 1-2 (enero de 2006): 1–22. http://dx.doi.org/10.1017/s1471068405002553.
Texto completoNADATHUR, GOPALAN. "A treatment of higher-order features in logic programming". Theory and Practice of Logic Programming 5, n.º 3 (mayo de 2005): 305–54. http://dx.doi.org/10.1017/s1471068404002297.
Texto completoJaparidze, Giorgi. "Arithmetics based on computability logic". Logical Investigations 25, n.º 2 (23 de diciembre de 2019): 61–74. http://dx.doi.org/10.21146/2074-1472-2019-25-2-61-74.
Texto completoMØGELBERG, RASMUS E. y MARCO PAVIOTTI. "Denotational semantics of recursive types in synthetic guarded domain theory". Mathematical Structures in Computer Science 29, n.º 3 (15 de mayo de 2018): 465–510. http://dx.doi.org/10.1017/s0960129518000087.
Texto completoCHAPMAN, JAMES, TARMO UUSTALU y NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity". Mathematical Structures in Computer Science 29, n.º 1 (17 de octubre de 2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Texto completoDuží, Marie. "Negation and presupposition, truth and falsity". Studies in Logic, Grammar and Rhetoric 54, n.º 1 (1 de junio de 2018): 15–46. http://dx.doi.org/10.2478/slgr-2018-0014.
Texto completoWang, Shuang Li, Cheng Jun Xie, Su Yan, Shu Ying Zhang y Yue Gao. "Philosophical Perspective of Object-Oriented Programming". Applied Mechanics and Materials 543-547 (marzo de 2014): 3141–45. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3141.
Texto completoWang, Huai Yu y Shu Gui Liu. "A Collision Detection Algorithm Using AABB and Octree Space Division". Advanced Materials Research 989-994 (julio de 2014): 2389–92. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.2389.
Texto completoLee, Jong-Hyun, Javad Rahimipour Anaraki, Chang Wook Ahn y Jinung An. "Efficient classification system based on Fuzzy–Rough Feature Selection and Multitree Genetic Programming for intension pattern recognition using brain signal". Expert Systems with Applications 42, n.º 3 (febrero de 2015): 1644–51. http://dx.doi.org/10.1016/j.eswa.2014.09.048.
Texto completoBulíček, Josef. "Timetable synchronisation: Urban public transport in busy hubs of long-distance transport". MATEC Web of Conferences 239 (2018): 02001. http://dx.doi.org/10.1051/matecconf/201823902001.
Texto completoB.K, Anish, Niranjan Devkota, Nabaraj Gautam y Niraj Paija. "Industry Willingness to Pay for Adequate Electricity Supply: A Discourse on Sustainable Industrial Development". Quest Journal of Management and Social Sciences 1, n.º 2 (31 de diciembre de 2019): 251–59. http://dx.doi.org/10.3126/qjmss.v1i2.27443.
Texto completoZhong, Hui, Weili Bao, Yunfeng Liu y Karina Yazdanbakhsh. "Inflammation Response Cytokines IFN-γ and IL-10 Regulate Monocyte Subset Differentiation". Blood 134, Supplement_1 (13 de noviembre de 2019): 3586. http://dx.doi.org/10.1182/blood-2019-129515.
Texto completoLappin, Shalom. "Intensions as Computable Functions". Linguistic Issues in Language Technology 9 (1 de enero de 2014). http://dx.doi.org/10.33011/lilt.v9i.1323.
Texto completoYamada, Norihiro y Samson Abramsky. "Dynamic game semantics". Mathematical Structures in Computer Science, 18 de diciembre de 2020, 1–60. http://dx.doi.org/10.1017/s0960129520000250.
Texto completoHILLERSTRÖM, DANIEL, SAM LINDLEY y ROBERT ATKEY. "Effect handlers via generalised continuations". Journal of Functional Programming 30 (2020). http://dx.doi.org/10.1017/s0956796820000040.
Texto completoMeshalkin, V. P. y V. I. Bobkov. "Power and Resourse Efficient Envoronmentally Safe Technology for Processing Dumps of Technogenic Waste From Ore-Dressing and Processing Enterprises". KnE Materials Science, 31 de diciembre de 2020. http://dx.doi.org/10.18502/kms.v6i1.8098.
Texto completo"Leaf Disease Detection using Labview Imaq Vision". Regular 9, n.º 3 (30 de septiembre de 2020): 481–92. http://dx.doi.org/10.35940/ijrte.c4574.099320.
Texto completo"Software Test Case Generation and it’s curtail using G-Genetic Algorithm". International Journal of Recent Technology and Engineering 8, n.º 2 (30 de julio de 2019): 852–55. http://dx.doi.org/10.35940/ijrte.a3400.078219.
Texto completo